Reiner Hahnle - Böcker
Visar alla böcker från författaren Reiner Hahnle.
6 produkter
6 produkter
Fundamental Approaches to Software Engineering
Av Reiner Hähnle, Wil van der Aalst, Reiner Hahnle, Wil Van Der Aalst
Häftad, Engelska, 2019
729 kr
Skickas inom 10-15 vardagar
Deductive Software Verification: Future Perspectives
Av Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich, Reiner Hahnle
Häftad, Engelska, 2020
729 kr
Skickas inom 10-15 vardagar
Del 14360 - Lecture Notes in Computer Science
Active Object Languages: Current Research Trends
Av Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan, Reiner Hahnle
Häftad, Engelska, 2024
1 059 kr
Skickas inom 5-8 vardagar
Deductive Software Verification – The KeY Book
Av Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich, Reiner Hahnle
Häftad, Engelska, 2016
1 739 kr
Skickas inom 10-15 vardagar
Machine Learning for Dynamic Software Analysis: Potentials and Limits
Av Amel Bennaceur, Reiner Hähnle, Karl Meinke, Reiner Hahnle
Häftad, Engelska, 2018
849 kr
Skickas inom 10-15 vardagar
Formal Methods for Components and Objects
Av Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue, Reiner Hahnle, Frank S. De Boer
Häftad, Engelska, 2013
679 kr
Skickas inom 10-15 vardagar