An edition of Specifying systems
(2002)
Specifying Systems
The TLA+ Language and Tools for Hardware and Software Engineers
1st edition
by Leslie Lamport
- 4 Want to read
Share
×Close
This edition 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
|
zzzz
|
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
|
aaaa
|
Book Details
The Physical Object
Edition Identifiers
Work Identifiers
Source records
Community Reviews (0)
Lists
History
- Created April 30, 2008
- 9 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| March 28, 2025 | Edited by ImportBot | Redacting ocaids |
| July 28, 2014 | Edited by ImportBot | import new book |
| April 6, 2014 | Edited by ImportBot | Added IA ID. |
| August 12, 2010 | Edited by IdentifierBot | added LibraryThing ID |
| April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |