Trefferliste "Verification" - alle Bücher, LPs und CDs

Ihre Suche nach "Verification" (Bücher, LPs und CDs) ergab 142 Treffer.

Formal Methods

Lecture Notes in Computer Science - Band 14933

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 5…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 43,80* Aktueller Preis: EUR 43,80

Artikel merken

In den Warenkorb

Menge ändern

Advanced Aircraft Understanding via the Virtual Aircraft Model

This book reports on the results of a four-year collaborative project between the German Aerospace Center (DLR), three German universities and the aircraft industry. The project was funded by the Ministry…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 164,28* Aktueller Preis: EUR 164,28

Artikel merken

In den Warenkorb

Menge ändern