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

Leslie Lamport
Bok · Engelsk · 2002

Utgitt	Boston, Mass. : Addison-Wesley , 2002, c2003
Omfang	XVII, 364 s. : fig.
Emner	Computer systems - Specifications Logic, Symbolic and mathematical System design Computer Science Vis mer... Engineering & Applied Sciences Matematisk logikk Systemspesifikasjon (Databehandling) Systemutvikling (Databehandling)
ISBN	032114306X