Mattias Ulbrich – författare
Visar alla böcker från författaren Mattias Ulbrich. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Del 12345 - Lecture Notes in Computer Science
Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
Häftad, Engelska, 2020
719 kr
Skickas inom 10-15 vardagar
Del 10001 - Lecture Notes in Computer Science
Deductive Software Verification – The KeY Book
From Theory to Practice
Häftad, Engelska, 2016
1 719 kr
Skickas inom 10-15 vardagar