An edition of Specifying systems
(2002)
Specifying systems
the TLA+ language and tools for hardware and software engineers
by Leslie Lamport
- 4 Want to read
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Specifying systems: the TLA [plus] language and tools for hardware and software engineers
2003, Addison-Wesley
in English
032114306X 9780321143068
|
zzzz
|
2
Specifying systems: the TLA+ language and tools for hardware and software engineers
2003, Addison-Wesley
in English
032114306X 9780321143068
|
aaaa
|
3
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
July 19, 2002, Addison-Wesley Professional
Paperback
in English
- 1st edition
032114306X 9780321143068
|
zzzz
|
Book Details
Edition Notes
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Source records
Community Reviews (0)
Lists
| December 19, 2023 | Edited by ImportBot | import existing book |
| August 19, 2020 | Edited by ImportBot | import existing book |
| December 3, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| December 10, 2009 | Created by WorkBot | add works page |