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

This book presents a rigorous introduction to formal specification using the Temporal Logic of Actions (TLA+). It explains how to model, reason about, and verify complex concurrent and distributed systems. The author emphasizes practical methods for preventing design errors before implementation. Th...

Descrizione completa

Salvato in:
Dettagli Bibliografici
Autore principale: Lamport, Leslie
Natura: Libro
Lingua:Vietnamese
Pubblicazione: Boston Addison-Wesley 2003
Soggetti:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne! !
Thư viện lưu trữ: Thư viện Trường Đại học Nam Cần Thơ