This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.
Produkteigenschaften
- Artikelnummer: 9780412644504
- Medium: Buch
- ISBN: 978-0-412-64450-4
- Verlag: Springer Us
- Erscheinungstermin: 28.02.1995
- Sprache(n): Englisch
- Auflage: 1995. Auflage 1995
- Serie: IFIP Advances in Information and Communication Technology
- Produktform: Gebunden
- Gewicht: 2050 g
- Seiten: 522
- Format (B x H x T): 156 x 234 x 30 mm
- Ausgabetyp: Kein, Unbekannt