Toggle Nav
Menu

Formal Methods for Industrial Critical Systems

30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings
297 Seiten, Taschenbuch
€ 63,79
-
+
Lieferung in 2-5 Werktagen

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

Abbrechen Weiter einkaufen
Mehr Informationen
Reihe Lecture Notes in Computer Science
Themen Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung Compiler und Übersetzer
ISBN 9783032009418
Sprache Englisch
Erscheinungsdatum 28.08.2025
Größe 23.5 x 15.5 cm
Verlag Springer International Publishing
Herausgegeben von Anne Remke, Bernhard Steffen
LieferzeitLieferung in 2-5 Werktagen
HerstellerangabenAnzeigen
Springer Nature Customer Service Center GmbH
Europaplatz 3 | DE-69115 Heidelberg
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 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

Mehr Informationen
Reihe Lecture Notes in Computer Science
Themen Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung Compiler und Übersetzer
ISBN 9783032009418
Sprache Englisch
Erscheinungsdatum 28.08.2025
Größe 23.5 x 15.5 cm
Verlag Springer International Publishing
Herausgegeben von Anne Remke, Bernhard Steffen
LieferzeitLieferung in 2-5 Werktagen
HerstellerangabenAnzeigen
Springer Nature Customer Service Center GmbH
Europaplatz 3 | DE-69115 Heidelberg
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:
GUTSCHEIN
faltershop Gutscheinfaltershop Gutschein
Falter-Schürze WürstelFalter-Schürze Würstel
Das Problembär-ShirtDas Problembär-Shirt