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

Modelling Distributed Systems

629 kr
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
Fokkink Wan
ISBN
9783540739371
Språk
engelska
Vikt
518 gram
Utgivningsdatum
2007-09-26
Sidor
154