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
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Formal Methods for Industrial Critical Systems

29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Sprache EnglischEnglisch
E-Book Adobe ePub DRM
Verlag Springer, August 2024
This book constitutes the proceedings of the 29th International Conference on Formal Methods for Ind... Vollständige Beschreibung
? points 154 b
62.89 € inkl. MwSt.
Verfügbar Sofort herunterladbar

Kunden kauften auch

CSR und Digitalisierung Alexandra Hildebrandt / E-Book Adobe ePub DRM
common.buy 68.59 €
Grufaloa. Txotxongilo-liburua DONALDSON / Buch Hardcover
common.buy 21.89 €
Demnächst Neu
The Book of Witchcraft HAKSEVER / Buch Hardcover
common.buy 18.59 €

This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9-13, 2024. The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections: Real-Time Systems/ Robotics; Semantics and Verification; Case Studies; Neural Networks.

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 Anne E. Haxthausen, Wendelin Serwe
Sprache Englisch
Einband E-Book - Adobe ePub DRM
Datum der Veröffentlichung 2024
EAN 9783031681509
Libristo-Code 47699277
Verlag Springer

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
EDV und Informationstechnologie > Informationstechnik (IT), allgemeine Themen
EDV und Informationstechnologie > Computerhardware
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

Great Dog DAVIDE CALI / Buch Hardcover
common.buy 17.49 €
General Chemistry: Principles and Modern Applications, Global Edition Ralph Petrucci / Buch Broschur
common.buy 82.69 €

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?