Spezifizierende Systeme: Die Tla+ Sprache und Tools für Hardware und Software En...
35,66 €
Specifying Systems : The Tla+ Language and Tools for Hardware and Software Engineers, Paperback by Lamport, Leslie, ISBN 032114306X, ISBN-13 9780321143068, Brand New, Free shipping in the US This book provides a guide to the writing of unambiguous specifications of complex computer systems. It explains how to describe, with mathematical precision, the behavior properties of a system. Safety properties are stressed, but topics like liveliness, fairness, and real time are also covered. Th also supplies a reference manual for the TLA+ language and tools. Lamport is a computer scientist, best known for creating the LaTeX typesetting program. Annotation c. Book News, Inc., Portland, OR ()
Jetzt bei Ebay:
