Cover Image

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.
Description
Item Description:Includes index.
Physical Description:xvii, 364 pages ; 24 cm.
ISBN:032114306X (pbk. : alk. paper)