When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Specifying Systems : The Tla+ Language and Tools for Hardware and Software En...
- Item No : 357313064788
- Condition : Brand New
- Brand : No brand Info
- Seller : greatbookprices1
- Current Bid : US $42.67
-
* Item Description
- 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 ()
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
