Trefferliste "Marieke Huisman" - alle Bücher und DVDs

Ihre Suche nach "Marieke Huisman" (Bücher und DVDs) ergab 3 Treffer.

Tests and Proofs

Lecture Notes in Computer Science - Band 15153

¿This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods sy…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 142,37* Aktueller Preis: EUR 142,37

Artikel merken

In den Warenkorb

Menge ändern

Anton Wijs, Marieke Huisman

Concise Guide to Software Verification

This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,99* Aktueller Preis: EUR 63,99

Artikel merken

In den Warenkorb

Menge ändern

Storm und der verbotene Brief

Im mittelalterlichen Antwerpen zur Zeit der Reformation wird der 12-jährige Storm in ein aufregendes Abenteuer verwickelt, als sein Vater Klaas den Auftrag erhält, in seiner Druckerei einen Brief von Mart…

Artikel am Lager

DVD

 

EUR 5,99* Aktueller Preis: EUR 5,99

Artikel merken

In den Warenkorb

Menge ändern