Gå direkte til innholdet
Logics for Concurrency
Spar

Logics for Concurrency

This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics;
Undertittel
Structure versus Automata
Opplag
1996 ed.
ISBN
9783540609155
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
6.3.1996
Antall sider
268