Gå direkt till innehållet
  1. Böcker
  2. Böcker på engelska

Modelling Distributed Systems

64,50 €

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
Fokkink Wan
ISBN
9783540739371
Språk
engelska
Vikt
518 gram
Utgivningsdatum
26.9.2007
Sidor
154