Formal Techniques for Distributed Objects, Components, and Systems / Lecture Notes in Computer Science Bd.10321 (PDF)
37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
(Sprache: Englisch)
This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International...
sofort als Download lieferbar
eBook (pdf)
Fr. 59.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Formal Techniques for Distributed Objects, Components, and Systems / Lecture Notes in Computer Science Bd.10321 (PDF)“
This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.
The 13 revised full papers presented together with 3 short and 1 tool papers were carefully reviewed and selected from 30 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.
Bibliographische Angaben
- 2017, 1st ed. 2017, 243 Seiten, Englisch
- Herausgegeben: Ahmed Bouajjani, Alexandra Silva
- Verlag: Springer-Verlag GmbH
- ISBN-10: 331960225X
- ISBN-13: 9783319602257
- Erscheinungsdatum: 06.06.2017
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 7.18 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Formal Techniques for Distributed Objects, Components, and Systems / Lecture Notes in Computer Science Bd.10321"
0 Gebrauchte Artikel zu „Formal Techniques for Distributed Objects, Components, and Systems / Lecture Notes in Computer Science Bd.10321“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Techniques for Distributed Objects, Components, and Systems / Lecture Notes in Computer Science Bd.10321".
Kommentar verfassen