Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Formal Methods for Industrial Critical Systems

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods for Industrial Critical Systems Bernhard Steffen
Libristo-Code: 49083337
Verlag Springer-Verlag GmbH, Oktober 2025
This book constitutes the proceedings of the 30th International Conference on Formal Methods for Ind... Vollständige Beschreibung
? points 174 b
70.89 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Die Wirkung von Stickoxid freisetzender Creme auf die Heilung von Druckgeschwüren Marziyeh Asadizaker / Buch Broschur
common.buy 28.90 €
De lumière, d'or et de plomb Alexandre Cabot / Buch Broschur
common.buy 27.29 €
Demnächst
Els alicorns JANER MANILA / Buch Broschur
common.buy 8.59 €
COSMIC HIGHWAY 1000 PC PUZZLE IN SQUARE GALISON Buch Hardcover
common.buy 16.19 €
Kirchlichkeit Und Religiosit�t in Ostmittel- Und Osteuropa Olaf Müller / Buch Broschur
common.buy 55.29 €
No niin! 2 CD. Suomea aikuisille Hanna Aho / Audio Audio CD
common.buy 80.49 €
Beskydy Údolím řeky Ostravice Petr Juřák / Buch Hardcover
common.buy 11.19 €
Virginia Woolf ou l'aventure intérieure Lee / Buch Broschur
common.buy 55.19 €
Arbres fourragers - De l'élevage paysan au respect de l'environnement Goust / Buch Broschur
common.buy 28.39 €
Top
Mega-Nonogramm 05 Conceptis Puzzles / Buch Broschur
common.buy 15.90 €
rechtlichen Fragen der einvernehmlichen Aufloesung eines Arbeitsverhaltnisses Zaixing Ye / Buch Broschur
common.buy 52.95 €
Bleibt der jetzt für immer? Lauren Child / Buch Hardcover
common.buy 16.00 €
Top Demnächst
Gin Tama 37 Hideaki Sorachi / Buch Broschur
common.buy 8.09 €
Taschenlexikon der Schmetterlinge Europas, Die häufigsten Tagfalter im Porträt Wolfgang Willner / Buch Hardcover
common.buy 24.95 €
Morgen-Glantz 23/2013 Rosmarie Zeller / Buch Broschur
common.buy 125.29 €
Liberalisme Et Etat de Droit Jacques Bidet / Buch Broschur
common.buy 43.89 €
Aah-ja! Wolf Biermann / Audio Audio CD
common.buy 17.49 €

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

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Methods for Industrial Critical Systems
Autor Bernhard Steffen
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2025
Anzahl der Seiten 286
EAN 9783032009418
ISBN 3032009413
Libristo-Code 49083337
Verlag Springer-Verlag GmbH
Gewicht 435

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Students Guide to American Political Thought George W Carey / Buch Broschur
common.buy 11.19 €
Seek-And-Find Scavenger Hunt Cards (2-Deck Pack) / Spiel/Spielzeug Spiel
common.buy 12.39 €
Pun Intended Paperback Gift Book / Buch Broschur
common.buy 9.59 €
Spinal Cord Injury Blessen Eapen / Buch Hardcover
common.buy 147.39 €
Remake the World Astra Taylor / Buch Broschur
common.buy 19.29 €
Welcoming the Future Church Jonathan Pokluda / Buch Broschur
common.buy 19.19 €
The Legends of Saint Patrick Aubrey De Vere / Buch Broschur
common.buy 12.49 €
Called to Counsel: A Practical Manual for All Faith-Based Counselors Rev Juan M Perez / Buch Broschur
common.buy 11.59 €
Dream Home Anthony Alofsin / Buch Broschur
common.buy 28.49 €
Secreta Monita Societatis Jesu: Secret Instructions Of The Jesuits, To Which Is Prefixed An Historical Essay William M'Gavin / Buch Broschur
common.buy 28.79 €
Tomboys Michelle Ann Abate / Buch Broschur
common.buy 34.89 €
Anger in the Bosom of our Children Evans / Buch Broschur
common.buy 8.79 €
Tractates on the Gospel of John, 28-54 Saint Augustine / Buch Broschur
common.buy 51.89 €
Bird Trapping and Bird Banding Hans Bub / Buch Broschur
common.buy 74.89 €
Algebra for Cryptologists Alko R. Meijer / Buch Hardcover
common.buy 68.39 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?