Toggle Nav
Menu

Formal Methods for Industrial Critical Systems

29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings
260 Seiten, Taschenbuch
€ 63.79
-
+
Lieferbar in 6 Tagen

Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.

Abbrechen Weiter einkaufen
Mehr Informationen
Reihe Lecture Notes in Computer Science
ISBN 9783031681493
Sprache Englisch
Erscheinungsdatum 21.08.2024
Genre Informatik, EDV/Programmiersprachen
Verlag Springer International Publishing
Herausgegeben von Anne E. Haxthausen, Wendelin Serwe
LieferzeitLieferbar in 6 Tagen
HerstellerangabenAnzeigen
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com
Unsere Prinzipien
  • ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
  • ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
  • ✔ alle FALTER-Produkte und Abos, nur hier!
  • ✔ hohe Sicherheit durch SSL-Verschlüsselung (RSA 4096 bit)
  • ✔ keine Weitergabe personenbezogener Daten an Dritte
  • ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Kurzbeschreibung des Verlags


This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9–13, 2024.



 



The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections: Real-Time Systems/ Robotics; Semantics and Verification; Case Studies; Neural Networks.


Mehr Informationen
Reihe Lecture Notes in Computer Science
ISBN 9783031681493
Sprache Englisch
Erscheinungsdatum 21.08.2024
Genre Informatik, EDV/Programmiersprachen
Verlag Springer International Publishing
Herausgegeben von Anne E. Haxthausen, Wendelin Serwe
LieferzeitLieferbar in 6 Tagen
HerstellerangabenAnzeigen
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com
Unsere Prinzipien
  • ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
  • ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
  • ✔ alle FALTER-Produkte und Abos, nur hier!
  • ✔ hohe Sicherheit durch SSL-Verschlüsselung (RSA 4096 bit)
  • ✔ keine Weitergabe personenbezogener Daten an Dritte
  • ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Diese Produkte könnten Sie auch interessieren:
Die Wiener Seele - GrußkartensetDie Wiener Seele - Grußkartenset
Falter-Schürze WürstelFalter-Schürze Würstel
Das Problembär-ShirtDas Problembär-Shirt