Integrated Formal Methods
13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.
The 24 full papers and 4 short papers presented were carefully reviewed and selected from...
The 24 full papers and 4 short papers presented were carefully reviewed and selected from...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
Fr. 59.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „Integrated Formal Methods “
Klappentext zu „Integrated Formal Methods “
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..
Bibliographische Angaben
- 2017, 1st ed. 2017, XXI, 438 Seiten, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Nadia Polikarpova, Steve Schneider
- Verlag: Springer, Berlin
- ISBN-10: 3319668447
- ISBN-13: 9783319668444
- Erscheinungsdatum: 27.08.2017
Sprache:
Englisch
Kommentar zu "Integrated Formal Methods"
0 Gebrauchte Artikel zu „Integrated Formal Methods“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Integrated Formal Methods".
Kommentar verfassen