Formal Methods for Industrial Critical Systems
€55,88
Unverbindliche Preisempfehlung des Verlags €62,05
Unverbindliche Preisempfehlung des Verlags. Dies ist nicht unser früherer Verkaufspreis. Unser Verkaufspreis wird unabhängig von dieser Empfehlung kalkuliert.
inkl. MwSt. · Versand kostenlos innerhalb Deutschlands · 14 Tage Rückgabe nach Erhalt
- Portofrei innerhalb Deutschlands
- Lieferzeit in der Regel 1–3 Werktage
- 14 Tage Rückgabe nach Erhalt
This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27–28, 2025.The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been organized in the following topical sections: verification; automotive and railway; cyber-physical systems; and embedded systems
Buchdetails
- Verlag
- Springer
- ISBN
- 9783032009418
- Erscheinungsdatum
- 28.08.2025
- Seitenzahl
- 308
- Einband
- Taschenbuch
- Sprache
- Englisch
- Maße
- 235 × 155 × 17 mm
Versand innerhalb Deutschlands ist immer kostenlos – ohne Mindestbestellwert, ab dem ersten Buch. Die Lieferzeit beträgt in der Regel 1–3 Werktage.
Für Lieferungen ins Ausland können zusätzliche Versandkosten anfallen.
Rückgaberecht: Du kannst deine Bestellung innerhalb von 14 Tagen nach Erhalt zurücksenden – einfach und unkompliziert.
Du kannst deine Bestellung innerhalb von 14 Tagen nach Erhalt zurücksenden. Bitte stelle sicher, dass die Ware unbenutzt und in der Originalverpackung ist.
Nutze für den Widerruf einfach unser Kontaktformular oder den „Vertrag widerrufen"-Button im Footer. Wir kümmern uns um alles Weitere.
Das könnte Ihnen auch gefallen
Weitere Titel aus Naturwissenschaften, Medizin, Informatik, Technik
