D. Hogrefe / S. Leue (eds.)

Gebundenes Buch

Formal Description Techniques VII

Beschreibung

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

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