Hoppa till sidans huvudinnehåll

Reiner Hahnle - Böcker

Visar alla böcker från författaren Reiner Hahnle.
5 produkter

Fundamental Approaches to Software Engineering

22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

AvReiner Hähnle,Wil van der Aalst,Reiner Hahnle,Wil Van Der Aalst,Wil Van Der Aalst

Häftad, Engelska, 2019

719 kr

Skickas inom 10-15 vardagar

Del 12345 - Lecture Notes in Computer Science

Deductive Software Verification: Future Perspectives

Reflections on the Occasion of 20 Years of KeY

AvWolfgang Ahrendt,Bernhard Beckert,Richard Bubel,Reiner Hähnle,Mattias Ulbrich,Reiner Hahnle

Häftad, Engelska, 2020

719 kr

Skickas inom 10-15 vardagar

Del 14360 - Lecture Notes in Computer Science

Active Object Languages: Current Research Trends

AvFrank de Boer,Ferruccio Damiani,Reiner Hähnle,Einar Broch Johnsen,Eduard Kamburjan,Reiner Hahnle

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

AvWolfgang Ahrendt,Bernhard Beckert,Richard Bubel,Reiner Hähnle,Peter H. Schmitt,Mattias Ulbrich,Reiner Hahnle

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

AvAmel Bennaceur,Reiner Hähnle,Karl Meinke,Reiner Hahnle

Häftad, Engelska, 2018

839 kr

Skickas inom 10-15 vardagar