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 Techniques for Safety-Critical Systems
CHF 71.95
Auf Lager
SKU
98JO9K5FNQU
1 Verfügbar 
Geliefert zwischen Di., 11.11.2025 und Mi., 12.11.2025
Details
This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.
Includes supplementary material: sn.pub/extras
Inhalt
Application of formal and semi-formal methods.- Improving the quality of safety-critical computer systems.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783319054155
- Editor Peter Csaba Ölveczky, Cyrille Artho
- Sprache Englisch
- Auflage 2014
- Größe H235mm x B155mm x T17mm
- Jahr 2014
- EAN 9783319054155
- Format Kartonierter Einband
- ISBN 3319054155
- Veröffentlichung 22.04.2014
- Titel Formal Techniques for Safety-Critical Systems
- Untertitel Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
- Gewicht 470g
- Herausgeber Springer International Publishing
- Anzahl Seiten 308
- Lesemotiv Verstehen
- Genre Informatik
Bewertungen
Schreiben Sie eine Bewertung
