Marieke Huisman – alle Bücher und DVDs

Ihre Suche nach "marieke huisman" 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 sym…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 142,37*

Artikel merken

In den Warenkorb

Menge ändern

Anton Wijs, Marieke Huisman

Concise Guide to Software Verification

Texts in Computer Science

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*

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*

Artikel merken

In den Warenkorb

Menge ändern