Gå direkt till innehållet
Logics for Concurrency
Spara

Logics for Concurrency

Lägsta pris på PriceRunner
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;
Undertitel
Structure versus Automata
Upplaga
1996 ed.
ISBN
9783540609155
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
1996-03-06
Sidor
268