Specifying Systems

tags:: Computer systems, Logic, Symbolic and mathematical, Specifications, System design

date:: 2003

publisher:: Addison-Wesley

place:: Boston

isbn:: 978-0-321-14306-8

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

item-type:: book

call-number:: QA76.9.S88 L35 2003

original-title:: Specifying systems: the TLA+ language and tools for hardware and software engineers

language:: en

short-title:: Specifying systems

authors:: Leslie Lamport

library-catalog:: Library of Congress ISBN

links:: Local library, Web library

num-pages:: 364

- Attachments

- Lamport - 2003 - Specifying systems the TLA+ language and tools fo.pdf {{zotero-imported-file 9ELDM9IF, "Lamport - 2003 - Specifying systems the TLA+ language and tools fo.pdf"}}