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
CHF 166.00
Auf Lager
SKU
FONCUMPNA82
1 Verfügbar 
Geliefert zwischen Di., 20.01.2026 und Mi., 21.01.2026
Details
This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conference, IFM 2023, in November 2023, held in Leiden, The Netherlands.
The 16 full papers presented together with 2 short papers were carefully reviewed and selected from 51 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783031477041
- Genre Information Technology
- Auflage 2024
- Editor Anton Wijs, Paula Herber
- Lesemotiv Verstehen
- Anzahl Seiten 424
- Größe H235mm x B155mm x T23mm
- Jahr 2023
- EAN 9783031477041
- Format Kartonierter Einband (Kt)
- ISBN 3031477049
- Veröffentlichung 11.11.2023
- Titel Integrated Formal Methods
- Untertitel 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings
- Gewicht 639g
- Herausgeber Springer Nature Switzerland
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
