Hoppa till sidans huvudinnehåll

Reiner Hahnle - Böcker

Visar alla böcker från författaren Reiner Hahnle.
6 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

Av Reiner Hähnle, Wil van der Aalst m. fl

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Deductive Software Verification: Future Perspectives

Reflections on the Occasion of 20 Years of KeY

Av Wolfgang Ahrendt, Bernhard Beckert m. fl

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Active Object Languages: Current Research Trends

Av Frank de Boer, Ferruccio Damiani m. fl

Häftad, Engelska, 2024

1 059 kr

Skickas inom 10-15 vardagar

Deductive Software Verification – The KeY Book

From Theory to Practice

Av Wolfgang Ahrendt, Bernhard Beckert m. fl

Häftad, Engelska, 2016

1 749 kr

Skickas inom 10-15 vardagar

Machine Learning for Dynamic Software Analysis: Potentials and Limits

International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

Av Amel Bennaceur, Reiner Hähnle m. fl

Häftad, Engelska, 2018

849 kr

Skickas inom 10-15 vardagar

Formal Methods for Components and Objects

11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Av Elena Giachino, Reiner Hähnle m. fl

Häftad, Engelska, 2013

679 kr

Skickas inom 10-15 vardagar