Formal Methods for Industrial Critical Systems: 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings: 16040 (Lecture Notes in Computer Science) - Softcover
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
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Formal Methods for Industrial Critical Systems: 30th...
Beispielbild für diese ISBN
Formal Methods for Industrial Critical Systems (eng)
Print-on-DemandAnbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Verkäuferbewertung 5 von 5 Sternen
Zustand: new. Questo è un articolo print on demand. Bestandsnummer des Verkäufers GRCRSQ7ZBD
Neu kaufen
EUR 52,63
Versand:
EUR 5,50
Von Italien nach USA
Anzahl: Mehr als 20 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
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 51209571-n
Beispielbild für diese ISBN
Formal Methods for Industrial Critical Systems
Anbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers DB-9783032009418
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. Bestandsnummer des Verkäufers DB-9783032009418
Neu kaufen
EUR 57,26
Versand:
EUR 4,73
Von Vereinigtes Königreich nach USA
Anzahl: 2 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
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 51209571
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)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9783032009418
Neu kaufen
EUR 70,10
Versand:
Gratis
Innerhalb der USA
Anzahl: Mehr als 20 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
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 51209571-n
Neu kaufen
EUR 57,25
Versand:
EUR 17,07
Von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Formal Methods for Industrial Critical Systems (Paperback)
Verlag:
Springer Nature Switzerland AG, Cham, 2025
ISBN 10: 3032009413
ISBN 13: 9783032009418
Neu
Paperback
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. 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 systems Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9783032009418
Beispielbild für diese ISBN
Formal Methods for Industrial Critical Systems : 30th International Conference, Fmics 2025, Aarhus, Denmark, August 27?28, 2025, Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 51209571
Gebraucht kaufen
EUR 65,99
Versand:
EUR 17,07
Von Vereinigtes Königreich 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: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, 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 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 297 pp. Englisch. Bestandsnummer des Verkäufers 9783032009418
Neu kaufen
EUR 62,05
Versand:
EUR 23,00
Von Deutschland nach USA
Anzahl: 1 verfügbar