Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)

New
Hardcover
2007
$22.19

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.

Synopsis

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.

$22.19

Save:$46.48 (68%)

Quantity

2 in stock

More Information

Format: Hardcover
Pages: 156
Publisher: Springer
Published: 26 Sep 2007
ISBN 10: 3540739378
ISBN 13: 9783540739371

Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)

New

$22.19

Synopsis

$22.19

More Information