Verwandte Artikel zu Formal Methods for Industrial Critical Systems: 26th...
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings: 12863 (Programming and Software Engineering) - Softcover
Inhaltsangabe
This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event.
The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 52,21
EUR 3,40 für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerSuchergebnisse für Formal Methods for Industrial Critical Systems: 26th...
Beispielbild für diese ISBN
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings (Programming and Software Engineering)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020031669
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings (Programming and Software Engineering)
Anbieter: Best Price, Torrance, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. SUPER FAST SHIPPING. Bestandsnummer des Verkäufers 9783030852474
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings (Programming and Software Engineering)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9783030852474
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783030852474_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings: 12863 (Lecture Notes in Computer Science, 12863)
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783030852474
Anzahl: 10 verfügbar
Foto des Verkäufers
Formal Methods for Industrial Critical Systems
Verlag:
Springer International Publishing Aug 2021, 2021
ISBN 10: 3030852474
ISBN 13: 9783030852474
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event.The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification. 264 pp. Englisch. Bestandsnummer des Verkäufers 9783030852474
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24?26, 2021, Proceedings (Programming and Software Engineering)
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. 1st ed. 2021 edition NO-PA16APR2015-KAP. Bestandsnummer des Verkäufers 26387769558
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24?26, 2021, Proceedings (Programming and Software Engineering)
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Print on Demand. Bestandsnummer des Verkäufers 392911625
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24?26, 2021, Proceedings (Programming and Software Engineering)
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. PRINT ON DEMAND. Bestandsnummer des Verkäufers 18387769564
Anzahl: 4 verfügbar
Foto des Verkäufers
Formal Methods for Industrial Critical Systems
ISBN 10: 3030852474
ISBN 13: 9783030852474
Neu
Kartoniert / Broschiert
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021.This book constitutes the proceedings of the 26th International Workshop . Bestandsnummer des Verkäufers 488583413
Anzahl: Mehr als 20 verfügbar