Heike Wehrheim – författare

Visar alla böcker från författaren Heike Wehrheim.

8 produkter

1. 

   Fundamental Approaches to Software Engineering

   Av Heike Wehrheim, Jordi Cabot

   Häftad, 2020

   1089 kr

   Lägg i varukorg

2. 

   Fundamental Approaches to Software Engineering

   Av Heike Wehrheim, Jordi Cabot

   Inbunden, 2020

   1179 kr

   Lägg i varukorg

3. 

   Fundamental Approaches to Software Engineering

   23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

   Av Heike Wehrheim, Jordi Cabot

   Häftad, 2020

   589 kr

   Lägg i varukorg

4. 

   Tests and Proofs

   14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

   Av Wolfgang Ahrendt, Heike Wehrheim

   Häftad, 2020

   729 kr

   Lägg i varukorg

5. 

   Theoretical Aspects of Computing – ICTAC 2025

   22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings

   Av Zhiming Liu, Adnane Saoud m. fl.

   Häftad, 2025

   1069 kr

   Lägg i varukorg

6. 

   Correct System Design

   Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

   Av Roland Meyer, André Platzer m. fl.

   Häftad, 2015

   679 kr

   Lägg i varukorg

7. 

   Formal Methods for Open Object-Based Distributed Systems

   8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

   Av Roberto Gorrieri, Heike Wehrheim

   Häftad, 2006

   729 kr

   Lägg i varukorg

8. 

   Integrated Formal Methods

   7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings

   Av Michael Leuschel, Heike Wehrheim

   Häftad, 2009

   729 kr

   Lägg i varukorg