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.
Software Engineering and Formal Methods
CHF 71.95
Auf Lager
SKU
4LR8JUBM4OH
1 Verfügbar 
Geliefert zwischen Mi., 26.11.2025 und Do., 27.11.2025
Details
This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.
The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.
Inhalt
Specification.- Concurrency.- Program analysis.- Model checking and runtime verification.- Applications.- Shape analysis and reuse.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783319929699
- Editor Ina Schaefer, Einar Broch Johnsen
- Sprache Englisch
- Auflage 1st edition 2018
- Größe H235mm x B155mm x T18mm
- Jahr 2018
- EAN 9783319929699
- Format Kartonierter Einband
- ISBN 3319929690
- Veröffentlichung 30.05.2018
- Titel Software Engineering and Formal Methods
- Untertitel 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
- Gewicht 487g
- Herausgeber Springer Nature Switzerland
- Anzahl Seiten 320
- Lesemotiv Verstehen
- Genre Informatik
Bewertungen
Schreiben Sie eine Bewertung
