Formal Methods for Industrial Critical Systems
CHF 68.75
Auf Lager
SKU
L3APPJUF05S
1 Verfügbar 
Kostenloser Versand
Geliefert zwischen Mi., 22.10.2025 und Do., 23.10.2025
Details
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.
The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.
Up-to-date results Fast track conference proceedings State-of-the-art report Includes supplementary material: sn.pub/extras
Inhalt
Applications.- Protocols.- Specification and analysis.- Verification.
30 Tage Rückgaberecht
GarantieWeitere Informationen
- Allgemeine Informationen
- GTIN 09783319194578
- Genre Programmiersprachen
- Auflage 2015
- Editor Matthias Güdemann, Manuel Núñez
- Sprache Englisch
- Lesemotiv Verstehen
- Anzahl Seiten 232
- Herausgeber Springer International Publishing
- Größe H235mm x B155mm x T13mm
- Jahr 2015
- EAN 9783319194578
- Format Kartonierter Einband
- ISBN 3319194577
- Veröffentlichung 27.05.2015
- Titel Formal Methods for Industrial Critical Systems
- Untertitel 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
- Gewicht 359g
Bewertungen
Schreiben Sie eine Bewertung
