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
739 kr
Skickas inom 10-15 vardagar
Richard Bubel – författare
Visar alla böcker från författaren Richard Bubel.
3 produkter
3 produkter
- Del 13360 - Lecture Notes in Computer Science
Logic of Software. A Tasting Menu of Formal Methods
Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
Häftad, Engelska, 20221 479 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, 20161 769 kr
Skickas inom 10-15 vardagar