Formal Description Techniques VII

ISBN-13: 9780412644504 / Angielski / Twarda / 1995 / 522 str.

Hogrefe;Leue; D. Hogrefe

Opis

This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.

Recenzje

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

Spis treści

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