Deductive Program Design (Nato ASI Subseries F:)

Deductive Program Design (Nato ASI Subseries F:)

ISBN: 9783540609476
Publisher: Springer
Edition: 1996
Publication Date: 1996-06-18
Number of pages: 470
  • $129.93
  • Save $-129.93

Any used item that originally included an accessory such as an access code, one time use worksheet, cd or dvd, or other one time use accessories may not be guaranteed to be included or valid. By purchasing this item you acknowledge the above statement.


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.

Customer Reviews

We Also Recommend