{"product_id":"specifying-systems-the-tla-language-and-tools-for-hardware-and-software-engineers-9780321143068","title":"Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers","description":"\u003cp\u003e • Author(s): Lamport | Leslie\u003cbr\u003e • Publisher: Addison-Wesley Professional\u003cbr\u003e • Publisher Imprint: Addison-Wesley Professional\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - Systems Analysis \u0026amp; Desi\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cb\u003eFrom the Back Cover\u003c\/b\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e \u003ci\u003e\"TLA+ represents the only effective methodology I've seen for visualizing and quantifying algorithmic complexity in a way that is meaningful to engineers.\"\u003c\/i\u003e\u003cbr\u003e--Brannon Batson, Processor Architect, Intel Corporation This long-awaited book shows how to write unambiguous specifications of complex computer systems.  The first part provides a concise and lucid introduction to specification, explaining how to describe, with mathematical precision, the behavioral properties of a system--what that system is allowed to do. The emphasis here is on safety properties.  The second part of the book covers more advanced topics, including liveness and fairness, real-time properties, and composition. \u003cp\u003eThe book's final two parts provide a complete reference manual for the TLA+ language and tools, as well as a handy mini-manual. TLA+ is the language developed by the author for writing simple and elegant specifications of algorithms and protocols and for verifying the correctness of a design. The language already has proved to be a valuable aid in understanding and building concurrent and distributed systems. Tools for TLA+ syntax analysis and model checking are freely available from the Web, where you can also find supplemental materials for this book, including exercises.\u003c\/p\u003e \u003cp\u003e\u003c\/p\u003e 032114306XB06262002 \u003cp\u003e\u003c\/p\u003e","brand":"MixIG","offers":[{"title":"Paperback","offer_id":45091910025367,"sku":"9780321143068","price":4274.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9780321143068.webp?v=1767267541","url":"https:\/\/atlanticbooks.com\/products\/specifying-systems-the-tla-language-and-tools-for-hardware-and-software-engineers-9780321143068","provider":"Atlantic Books","version":"1.0","type":"link"}