Deductive Program Design (NATO ASI Series / Computer and Systems Sciences)

New
Hardcover
1996
$257.13

Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art.

Synopsis

Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art.

$257.13

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 467
Publisher: Springer
Published: 18 Jun 1996
ISBN 10: 3540609474
ISBN 13: 9783540609476

Deductive Program Design (NATO ASI Series / Computer and Systems Sciences)

New

$257.13

Synopsis

$257.13

More Information