Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings by Bakker, Jaco W. De

Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings (Paperback) (ISBN-13: 9783540525592)

Vendor: Jaco W. De Bakker
Product type: Books
Format: Paperback
$109.99
$109.99
$109.99
Subtotal: $109.99
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings by Bakker, Jaco W. De

Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings

$109.99
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings by Bakker, Jaco W. De

Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings

$109.99
Format: Paperback
Description
Description
x
This proceedings volume surveys the state of the art in concurrent program specification, verification, and the theory of their refinement. The world's leading specialists in these areas present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented.

Author: Jaco W. De Bakker
ISBN-10: 3540525599
ISBN-13: 9783540525592
Publisher: Springer
Language: English
Published: 04/25/1990
Pages: 812
Format: Paperback
Weight: 2.49lbs
Size: 9.21h x 6.14w x 1.63d

Recently Viewed Products