Reiner Hahnle - Böcker
Visar alla böcker från författaren Reiner Hahnle.
5 produkter
5 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 14360 - Lecture Notes in Computer Science
Active Object Languages: Current Research Trends
Häftad, Engelska, 2024
1 069 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
Del 11026 - Lecture Notes in Computer Science
Machine Learning for Dynamic Software Analysis: Potentials and Limits
International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
Häftad, Engelska, 2018
839 kr
Skickas inom 10-15 vardagar