Specifying systems : the TLA+ language and tools for hardware and software engineers /

Bibliographic Details
Main Author:	Lamport, Leslie
Format:	Book
Language:	English
Published:	Boston : Addison-Wesley, [2003]
Subjects:	System design. Computer systems > Specifications. Logic, Symbolic and mathematical.

Evans: Library Stacks