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

AvHeike Wehrheim,Jordi Cabot

Häftad, Engelska, 2020

989 kr

Skickas inom 3-6 vardagar

Fundamental Approaches to Software Engineering

AvHeike Wehrheim,Jordi Cabot

Inbunden, Engelska, 2020

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

AvHeike 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

AvWolfgang Ahrendt,Heike Wehrheim

Häftad, Engelska, 2020

719 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Computing – ICTAC 2025

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

AvZhiming Liu,Adnane Saoud m. fl.

Häftad, Engelska, 2025

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

AvRoland Meyer,André Platzer m. fl.

Häftad, Engelska, 2015

669 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

AvRoberto Gorrieri,Heike Wehrheim

Häftad, Engelska, 2006

719 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

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

AvMichael Leuschel,Heike Wehrheim

Häftad, Engelska, 2009

719 kr

Skickas inom 10-15 vardagar