Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

Front Cover
Addison-Wesley, 2003 - Computers - 364 pages
0 Reviews

Teachers gain electronic access to the resource materials for the SIOP® Model.

 

We are pleased to introduce the PDToolkit, an online subscription-based resource that provides the tools that educators need to effectively plan and implement instruction. The PDToolkit for SIOP®, together with the text, provides the tools you need to effectively implement the SIOP Model.

 

Currently the following resources are available:

·         SIOP Videos

·         SIOP Research

·         SIOP Lesson Plans and Activities

·         SIOP Resources

 

In the future, we will continue to add other resources.

 

When you activate the Standalone Access Card, you receive 12 months of access to the PDToolkit for SIOP®.

 

To learn more, please visithttp://pdtoolkit.pearson.com.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

A Little Simple Math
9
Specifying a Simple Clock
15
An Asynchronous Interface
23
Copyright

14 other sections not shown

Common terms and phrases

References to this book

All Book Search results »

About the author (2003)

Leslie Lamport, a computer scientist, is well known for his contributions to concurrent computing and distributed systems. His "Time, Clocks, and the Ordering of Events in a Distributed System" paper has been honored for its enduring influence on the field. Lamport is also known for creating the LaTeX typesetting system and the best-selling book,LaTeX, Second Edition, which documents it (Addison-Wesley, 1994). Now at Microsoft Research in Mountain View, California, he began his work on TLA+ at the Digital (later Compaq) Systems Research Center in Palo Alto. Lamport, who earned his Ph.D. in mathematics from Brandeis University, is a member of the National Academy of Engineering.



032114306XAB06262002

Bibliographic information