An edition of Specifying systems
(2002)
Specifying systems
the TLA [plus] language and tools for hardware and software engineers
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+ language and tools for hardware and software engineers
2003, Addison-Wesley
in English
032114306X 9780321143068
|
zzzz
|
2
Specifying systems: the TLA [plus] 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
Includes bibliographical references and index.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created November 6, 2008
- 5 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| December 23, 2025 | Edited by MARC Bot | set source_records based on initial machine_comment |
| August 19, 2010 | Edited by IdentifierBot | added LibraryThing ID |
| April 16, 2010 | Edited by bgimpertBot | Added goodreads ID. |
| December 15, 2009 | Edited by WorkBot | link works |
| November 6, 2008 | Created by ImportBot | Imported from Talis record |