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

 
9783030852474: Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings: 12863 (Programming and Software Engineering)

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.

Gebraucht kaufen

Zustand: Hervorragend | Sprache...
Diesen Artikel anzeigen

EUR 105,00 für den Versand von Deutschland nach USA

Versandziele, Kosten & Dauer

EUR 3,40 für den Versand innerhalb von/der USA

Versandziele, Kosten & Dauer

Suchergebnisse für Formal Methods for Industrial Critical Systems: 26th...

Beispielbild für diese ISBN

Verlag: Springer, 2021
ISBN 10: 3030852474 ISBN 13: 9783030852474
Neu Softcover

Anbieter: Lucky's Textbooks, Dallas, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020031669

Verkäufer kontaktieren

Neu kaufen

EUR 52,21
Währung umrechnen
Versand: EUR 3,40
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2021
ISBN 10: 3030852474 ISBN 13: 9783030852474
Neu Softcover

Anbieter: Best Price, Torrance, CA, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. SUPER FAST SHIPPING. Bestandsnummer des Verkäufers 9783030852474

Verkäufer kontaktieren

Neu kaufen

EUR 48,22
Währung umrechnen
Versand: EUR 7,64
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2021
ISBN 10: 3030852474 ISBN 13: 9783030852474
Neu Softcover

Anbieter: California Books, Miami, FL, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers I-9783030852474

Verkäufer kontaktieren

Neu kaufen

EUR 64,89
Währung umrechnen
Versand: Gratis
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2021
ISBN 10: 3030852474 ISBN 13: 9783030852474
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Bestandsnummer des Verkäufers ria9783030852474_new

Verkäufer kontaktieren

Neu kaufen

EUR 60,03
Währung umrechnen
Versand: EUR 13,74
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Alberto Lluch Lafuente,Anastasia Mavridou
Verlag: Springer 2021-08-10, 2021
ISBN 10: 3030852474 ISBN 13: 9783030852474
Neu Paperback

Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783030852474

Verkäufer kontaktieren

Neu kaufen

EUR 56,33
Währung umrechnen
Versand: EUR 17,76
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: 10 verfügbar

In den Warenkorb

Foto des Verkäufers

Anastasia Mavridou
ISBN 10: 3030852474 ISBN 13: 9783030852474
Neu Taschenbuch
Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: EUR 23,00
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2021
ISBN 10: 3030852474 ISBN 13: 9783030852474
Neu Softcover

Anbieter: Books Puddle, New York, NY, USA

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. 1st ed. 2021 edition NO-PA16APR2015-KAP. Bestandsnummer des Verkäufers 26387769558

Verkäufer kontaktieren

Neu kaufen

EUR 75,39
Währung umrechnen
Versand: EUR 3,40
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2021
ISBN 10: 3030852474 ISBN 13: 9783030852474
Neu Softcover
Print-on-Demand

Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Print on Demand. Bestandsnummer des Verkäufers 392911625

Verkäufer kontaktieren

Neu kaufen

EUR 76,57
Währung umrechnen
Versand: EUR 7,45
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2021
ISBN 10: 3030852474 ISBN 13: 9783030852474
Neu Softcover
Print-on-Demand

Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. PRINT ON DEMAND. Bestandsnummer des Verkäufers 18387769564

Verkäufer kontaktieren

Neu kaufen

EUR 79,91
Währung umrechnen
Versand: EUR 9,95
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Foto des Verkäufers

ISBN 10: 3030852474 ISBN 13: 9783030852474
Neu Kartoniert / Broschiert
Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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

Verkäufer kontaktieren

Neu kaufen

EUR 48,37
Währung umrechnen
Versand: EUR 48,99
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Es gibt 4 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen