Kostenloser Versand
Bequem zahlen
Wir sind gerne für Sie daThis 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