Gå direkt till innehållet
Modelling Distributed Systems
Spara

Modelling Distributed Systems

Lägsta pris på PriceRunner
Guides students through algebraic specification and verification of distributed systems, and some of the formal verification techniques. This book employs [mu]CRL as the vehicle, a language developed to combine process algebra and abstract data types.
Författare
Wan Fokkink
Upplaga
2007 ed.
ISBN
9783540739371
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
2007-09-26
Sidor
154