Formal Methods for Industrial Critical Systems
Anne Remke
ISBN 10: 3032009413 ISBN 13: 9783032009418
Verlag: Springer, 2025
Neu
PAP
Verkäufer
PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 7. April 2005
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers DB-9783032009418
Inhaltsangabe:
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
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Formal Methods for Industrial Critical ...
Verlag: Springer
Erscheinungsdatum: 2025
Einband: PAP
Zustand: New
Beste Suchergebnisse beim ZVAB
Foto des Verkäufers
Formal Methods for Industrial Critical Systems | 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Formal Methods for Industrial Critical Systems | 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings | Anne Remke (u. a.) | Taschenbuch | x | Englisch | 2025 | Springer | EAN 9783032009418 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Artikel-Nr. 133910690
Neu kaufen
EUR 56,40
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods for Industrial Critical Systems
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Artikel-Nr. DB-9783032009418
Neu kaufen
EUR 57,31
EUR 4,79 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Formal Methods for Industrial Critical Systems : 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings
Verlag:
Springer-Verlag Gmbh Aug 2025, 2025
ISBN 10: 3032009413
ISBN 13: 9783032009418
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Artikel-Nr. 9783032009418
Neu kaufen
EUR 62,05
EUR 62,35 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Formal Methods for Industrial Critical Systems
Verlag:
Springer-Verlag Gmbh Aug 2025, 2025
ISBN 10: 3032009413
ISBN 13: 9783032009418
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -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 2728, 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 systemsSpringer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 297 pp. Englisch. Artikel-Nr. 9783032009418
Neu kaufen
EUR 62,05
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods for Industrial Critical Systems: 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27?28, 2025, Proceedings (Lecture Notes in Computer Science, 16040)
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Artikel-Nr. 409660497
Neu kaufen
EUR 82,86
EUR 7,49 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods for Industrial Critical Systems: 30th International Conference, Fmics 2025, Aarhus, Denmark, August 2728, 2025, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 307 pages. 9.26x6.11x9.21 inches. In Stock. Artikel-Nr. x-3032009413
Neu kaufen
EUR 92,19
EUR 11,53 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar