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.
Formal Methods and Software Engineering
CHF 84.75
Auf Lager
SKU
OT0D9L45C6A
1 Verfügbar 
Geliefert zwischen Di., 25.11.2025 und Mi., 26.11.2025
Details
This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as verication and validation, software engineering, formal specication and modeling, software security, and software reliability.
Includes supplementary material: sn.pub/extras
Inhalt
Verication and validation.- Software engineering.- Formal specication and modeling.- Software security.- Software reliability.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783319686899
- Genre Information Technology
- Auflage 1st edition 2017
- Editor Luke Ong, Zhenhua Duan
- Lesemotiv Verstehen
- Anzahl Seiten 516
- Größe H235mm x B155mm x T28mm
- Jahr 2017
- EAN 9783319686899
- Format Kartonierter Einband
- ISBN 3319686895
- Veröffentlichung 14.10.2017
- Titel Formal Methods and Software Engineering
- Untertitel 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
- Gewicht 774g
- Herausgeber Springer International Publishing
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
