Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (Programming and Software Engineering). Dieser Artikel ist nicht verfügbar.
Sprache: Englisch
Verlag: Springer, 2018
- Softcover
- Neu
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
AbeBooks-Verkäufer/-in seit 25. März 2015
Zustand: Neu
EUR 61,21
Artikelbeschreibung vom Verkäufer
Bestandsnummer des Verkäufers ria9783319989372_new
- Titel
- Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (Programming and Software Engineering)
- Verlag
- Springer
- Veröffentlichungsjahr
- 2018
- Zustand
- New
- Einband
- Softcover
- Sprache
- Englisch
- ISBN-10
- 3319989375
- ISBN-13
- 9783319989372
This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.
The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.
„Inhaltsangabe“ gehört möglicherweise zu einer anderen Auflage dieses Titels.