Formal Description Techniques VII by D. HogrefeFormal Description Techniques VII by D. Hogrefe

Formal Description Techniques VII

EditorD. Hogrefe, S. Leue

Hardcover | February 28, 1995

Pricing and Purchase Info

$319.87 online 
$366.95 list price save 12%
Earn 1,599 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.
Title:Formal Description Techniques VIIFormat:HardcoverDimensions:536 pages, 9.25 × 6.1 × 0.27 inPublished:February 28, 1995Publisher:Springer US

The following ISBNs are associated with this title:

ISBN - 10:0412644509

ISBN - 13:9780412644504


Table of Contents

Preface. Invited talk. New techniques. Applications. FDTs go commercial. Verification. Verification and real-time. Semantics. Testing and performace. Refinement. Index of contributors. Keyword index.

Editorial Reviews

Although this is a multi-author production, the subject matter is so concise that the usual pitfall of superficially covering too many different issues has been prevented ... A very technical but concise reference book - Network