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...

Ful tanımlama

Kaydedildi:
Detaylı Bibliyografya
Yazar: Lamport, Leslie
Materyal Türü: Kitap
Dil:Vietnamese
Baskı/Yayın Bilgisi: Boston Addison-Wesley 2003
Konular:
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
Thư viện lưu trữ: Thư viện Trường Đại học Nam Cần Thơ