Hoppa till sidans huvudinnehåll

Heike Wehrheim - Böcker

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

Fundamental Approaches to Software Engineering

Av Heike Wehrheim, Jordi Cabot

Häftad, Engelska, 2020

1 029 kr

Skickas inom 3-6 vardagar

Fundamental Approaches to Software Engineering

Av Heike Wehrheim, Jordi Cabot

Inbunden, Engelska, 2020

1 109 kr

Skickas inom 5-8 vardagar

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, Engelska, 2020

579 kr

Skickas inom 10-15 vardagar

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, Engelska, 2020

719 kr

Skickas inom 10-15 vardagar
  • Nyhet

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, Engelska, 2025

1 259 kr

Skickas inom 10-15 vardagar

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, Engelska, 2015

679 kr

Skickas inom 10-15 vardagar

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, Engelska, 2006

729 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

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

Av Michael Leuschel, Heike Wehrheim

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar