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.
- VerlagSpringer
- Erscheinungsdatum2021
- ISBN 10 3030852474
- ISBN 13 9783030852474
- EinbandTapa blanda
- SpracheEnglisch
- Auflage1
- Anzahl der Seiten264
- HerausgeberLluch Lafuente Alberto, Mavridou Anastasia
- Kontakt zum HerstellerNicht verfügbar
Neu kaufen
Diesen Artikel anzeigen
EUR 53,49
Gratis für den Versand innerhalb von/der Deutschland
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
Verlag:
Springer International Publishing, 2021
ISBN 10: 3030852474
ISBN 13: 9783030852474
Gebraucht
Softcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 264 | Sprache: Englisch | Produktart: Bücher. Artikel-Nr. 37770214/1
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Methods for Industrial Critical Systems
ISBN 10: 3030852474
ISBN 13: 9783030852474
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch. Artikel-Nr. 9783030852474
Anzahl: 2 verfügbar
Foto des Verkäufers
Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Paris, France, August 24¿26, 2021, Proceedings
Verlag:
Springer International Publishing, 2021
ISBN 10: 3030852474
ISBN 13: 9783030852474
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 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. Artikel-Nr. 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: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. 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 2426, 2021, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 261 pages. 9.25x6.10x0.55 inches. In Stock. Artikel-Nr. x-3030852474
Anzahl: 2 verfügbar