Výsledky vyhľadávania

Concise Guide to Software Verification

Concise Guide to Software Verification

Huisman, Marieke
AngličtinaEbook
Springer International Publishing
ISBN: 9783031301674
Dostupné online
Dostupné online
78,57 € -10 %
Concise Guide to Software Verification

Concise Guide to Software Verification

Huisman Marieke
AngličtinaMäkká väzbaTlač na objednávku
Springer, Berlin
ISBN: 9783031301698
Tlač na objednávku
Predpokladané dodanie v utorok, 18. augusta 2026
Tlač na objednávku
Predpokladané dodanie v utorok, 18. augusta 2026
77,11 € -10 %
Concise Guide to Software Verification

Concise Guide to Software Verification

Huisman Marieke
AngličtinaPevná väzba
Springer, Berlin
ISBN: 9783031301667
Na objednávku
Predpokladané dodanie v utorok, 18. augusta 2026
Na objednávku
Predpokladané dodanie v utorok, 18. augusta 2026
109,24 € -10 %
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Steffen Bernhard
AngličtinaMäkká väzba
Saint Philip Street Press
ISBN: 9781013271205
Na objednávku
Predpokladané dodanie v piatok, 7. augusta 2026
Na objednávku
Predpokladané dodanie v piatok, 7. augusta 2026
77,80 € -10 %
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Steffen Bernhard
AngličtinaPevná väzba
Saint Philip Street Press
ISBN: 9781013271212
Na objednávku
Predpokladané dodanie v piatok, 7. augusta 2026
Na objednávku
Predpokladané dodanie v piatok, 7. augusta 2026
86,06 € -10 %