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

AvReiner Hähnle,Wil van der Aalst m. fl.

Häftad, Engelska, 2019

709 kr

Skickas inom 10-15 vardagar

Deductive Software Verification: Future Perspectives

Reflections on the Occasion of 20 Years of KeY

AvWolfgang Ahrendt,Bernhard Beckert m. fl.

Häftad, Engelska, 2020

709 kr

Skickas inom 10-15 vardagar

Active Object Languages: Current Research Trends

AvFrank de Boer,Ferruccio Damiani m. fl.

Häftad, Engelska, 2024

1 009 kr

Skickas inom 10-15 vardagar

Deductive Software Verification – The KeY Book

From Theory to Practice

AvWolfgang Ahrendt,Bernhard Beckert m. fl.

Häftad, Engelska, 2016

1 689 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

AvAmel Bennaceur,Reiner Hähnle m. fl.

Häftad, Engelska, 2018

829 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

AvElena Giachino,Reiner Hähnle m. fl.

Häftad, Engelska, 2013

659 kr

Skickas inom 10-15 vardagar