D. Hogrefe / S. Leue (eds.)

Formal Description Techniques VII

Herausgegeben:Hogrefe, D.; Leue, S.

• Gebundenes Buch

Produktbeschreibung

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

Produktdetails

• IFIP Advances in Information and Communication Technology
• Verlag: Springer / Springer US / Springer, Berlin
• Artikelnr. des Verlages: 978-0-412-64450-4
• 1995.
• Seitenzahl: 522
• Erscheinungstermin: 28. Februar 1995
• Englisch
• Abmessung: 234mm x 156mm x 30mm
• Gewicht: 2050g
• ISBN-13: 9780412644504
• ISBN-10: 0412644509
• Artikelnr.: 24469077

Inhaltsangabe

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

Rezensionen

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