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.


A Little Simple Math
Specifying a Simple Clock
An Asynchronous Interface

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.


Bibliographic information