Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Integrated Formal Methods
Details
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.
The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.
Klappentext
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783030349677
- Editor Silvia Lizeth Tapia Tarifa, Wolfgang Ahrendt
- Sprache Englisch
- Auflage 1st edition 2019
- Größe H235mm x B155mm x T31mm
- Jahr 2019
- EAN 9783030349677
- Format Kartonierter Einband
- ISBN 3030349675
- Veröffentlichung 15.11.2019
- Titel Integrated Formal Methods
- Untertitel 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings
- Gewicht 855g
- Herausgeber Springer International Publishing
- Anzahl Seiten 572
- Lesemotiv Verstehen
- Genre Informatik