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

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
sku: COM9780321143068USED
ACCORDING TO OUR RECORDS THIS PRODUCT IS NOT AVAILABLE NOW
$55.33
Shipping from: Canada
   Description
This work 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 behavioural properties of a system - what that system is allowed to do. The emphasis here is on safety properties. The second part covers more advanced topics, including liveness and fairness, real time properties, and composition. The books final two parts provide a complete reference manual for the TLA+ language and tools, as well as a mini-manual.
   Price history chart & currency exchange rate

Customers also viewed

in this storein other stores

A Practical Guide to SysML: The Systems Modeling Language (The MK/OMG Press) [Soft Cover ]
40%
$61.22
A Practical Guide to SysML: The Systems Modeling Language (The MK/OMG Press) [Soft Cover ]
A Practical Guide to Verilog-A Mastering the Modeling Language for Analog Devices, Circuits, and Systems
38%
$36.41
A Practical Guide to Verilog-A Mastering the Modeling Language for Analog Devices, Circuits, and Systems
A Practical Guide to SysML: The Systems Modeling Language
34%
$29.33
A Practical Guide to SysML: The Systems Modeling Language
Elementary Grammar with Full Syllabary and Progresssive Reading Book, of the Assyrian Language, in the Cuneiform Type
22%
$29.48
Elementary Grammar with Full Syllabary and Progresssive Reading Book, of the Assyrian Language, in the Cuneiform Type
Embedded Systems Architecture: A Comprehensive Guide for Engineers and Programmers (Embedded Technology)
19%
$45.16
Embedded Systems Architecture: A Comprehensive Guide for Engineers and Programmers (Embedded Technology)
Systems in English Grammar : An Introduction for Language Teachers
17%
$20.32
Systems in English Grammar : An Introduction for Language Teachers
Lean Production Simplified: A Plain-Language Guide to the World's Most Powerful Production System
16%
$76.40
Lean Production Simplified: A Plain-Language Guide to the World's Most Powerful Production System
Planning and Installing Photovoltaic Systems: A Guide for Installers, Architects and Engineers
13%
$27.47
Planning and Installing Photovoltaic Systems: A Guide for Installers, Architects and Engineers
Feedback Systems: An Introduction for Scientists and Engineers
10%
$22.54
Feedback Systems: An Introduction for Scientists and Engineers
Data Mining: Concepts and Techniques (The Morgan Kaufmann Series in Data Management Systems)
7%
$45.00
Data Mining: Concepts and Techniques (The Morgan Kaufmann Series in Data Management Systems)
Language, Culture, And Communication: The Meaning Of Messages
6%
$45.93
Language, Culture, And Communication: The Meaning Of Messages
Creativity for Engineers (Industrial and Systems Engineering)
4%
$90.51
Creativity for Engineers (Industrial and Systems Engineering)
The Language of Lenormand A Pr
2%
$18.03
The Language of Lenormand A Pr
Thinking Systems : An Organic Language of Harmony for Human Survival
1%
$26.69
Thinking Systems : An Organic Language of Harmony for Human Survival
Building Natural Language Generation Systems (Studies in Natural Language Processing)
1%
$39.99
Building Natural Language Generation Systems (Studies in Natural Language Processing)
The Social Construction of Technological Systems: New Directions in the Sociology and History of Technology
+93%
1%
$19.92
The Social Construction of Technological Systems: New Directions in the Sociology and History of Technology
Practical Natural Language Processing: A Comprehensive Guide to Building Real-World NLP Systems
1%
$40.00
Practical Natural Language Processing: A Comprehensive Guide to Building Real-World NLP Systems
Language and Music As Cognitive Systems
1%
$70.07
Language and Music As Cognitive Systems
Literature: Texas - Language and Literacy, Grade 10
1%
$46.48
Literature: Texas - Language and Literacy, Grade 10
Vorsprung: A Communicative Introduction to German Language And Culture, Enhanced (World Languages)
1%
$46.93
Vorsprung: A Communicative Introduction to German Language And Culture, Enhanced (World Languages)
Vorsprung: A Communicative Introduction to German Language and Culture
-44%
1%
$94.73
Vorsprung: A Communicative Introduction to German Language and Culture
Cicero : Letters to Atticus -Language: latin
+4%
1%
$34.32
Cicero : Letters to Atticus -Language: latin
Physics for Scientists and Engineers Student Solutions Manual, Vol. 3
1%
$49.99
Physics for Scientists and Engineers Student Solutions Manual, Vol. 3
Language and Literacy in Science Education
1%
$37.45
Language and Literacy in Science Education
Mechanical and Electrical Systems in Architecture, Engineering and Construction
-38%
1%
$95.48
Mechanical and Electrical Systems in Architecture, Engineering and Construction
Language Universals and Linguistic Typology : Syntax and Morphology
+154%
1%
$34.35
Language Universals and Linguistic Typology : Syntax and Morphology
Linear Systems Theory [first edition]
1%
$30.00
Linear Systems Theory [first edition]
Aircraft Control and Simulation: Dynamics, Controls Design, and Autonomous Systems
-30%
1%
$94.63
Aircraft Control and Simulation: Dynamics, Controls Design, and Autonomous Systems
Etymologisches Worterbuch Der Deutschen Sprache -Language: German
1%
$45.23
Etymologisches Worterbuch Der Deutschen Sprache -Language: German
Hands-On Introduction to LabVIEW for Scientists and Engineers
+35%
1%
$62.63
Hands-On Introduction to LabVIEW for Scientists and Engineers
Износостойкие Сумки и чехлы для педалей, Противоударная сумка для хранения музыкальных инструментов
1%
$15.39
Износостойкие Сумки и чехлы для педалей, Противоударная сумка для хранения музыкальных инструментов
2 шт. ксеноновая лампа 35 Вт D3S HID фары автомобильные фары 6000K супер яркие 10000K для Volvo S60 2013 2014 2015 2016 2017
1%
$25.23
2 шт. ксеноновая лампа 35 Вт D3S HID фары автомобильные фары 6000K супер яркие 10000K для Volvo S60 2013 2014 2015 2016 2017
Купальник Button Blue для девочек, цв. красный, р-р 152, 120BBGU80023500
-8%
1%
~ $14.20
Купальник Button Blue для девочек, цв. красный, р-р 152, 120BBGU80023500
Часы наручные мужские с хронографом, модные кварцевые роскошные многофункциональные деловые, с деревянным ремешком
1%
$24.09
Часы наручные мужские с хронографом, модные кварцевые роскошные многофункциональные деловые, с деревянным ремешком
New Fast Food Scenes Metal Cutting Dies Stamps Set Diy Scrapbook Paper Craft Handmade Album Template Decoration Embossing Molds
1%
$2.33
New Fast Food Scenes Metal Cutting Dies Stamps Set Diy Scrapbook Paper Craft Handmade Album Template Decoration Embossing Molds
4X 12V 100W High Pressure Self Priming Water Pump 160Psi 8Lpm Caravan Camping Boat
1%
$92.19
4X 12V 100W High Pressure Self Priming Water Pump 160Psi 8Lpm Caravan Camping Boat