Heike Wehrheim – författare
Visar alla böcker från författaren Heike Wehrheim. Handla med fri frakt och snabb leverans.
13 produkter
Fundamental Approaches to Software Engineering
Av Heike Wehrheim, Jordi Cabot
Häftad, 2020
822 kr
Lägg i varukorg
Fundamental Approaches to Software Engineering
Av Heike Wehrheim, Jordi Cabot
Inbunden, 2020
910 kr
Lägg i varukorg
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
455 kr
Lägg i varukorg
This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS …
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
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020.The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were …
Tests and Proofs
14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
Av Heike Wehrheim, Wolfgang Ahrendt
E-bok, 2020
732 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020. The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume …
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
832 kr
Lägg i varukorg
This book constitutes the proceedings of 22nd International Colloquium on Theoretical Aspects of Computing, ICTAC 2025, which took place in Marrakesh, Morocco, during November 24–28, 2025.The 21 full papers, 2 short papers and 1 tool paper presented in this book were carefully reviewed and selected …
Theoretical Aspects of Computing - ICTAC 2025
22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings
Av Heike Wehrheim, Adnane Saoud m. fl.
E-bok, 2025
1091 kr
Lägg i varukorg
This book constitutes the proceedings of 22nd International Colloquium on Theoretical Aspects of Computing, ICTAC 2025, which took place in Marrakesh, Morocco, during November 24–28, 2025.The 21 full papers, 2 short papers and 1 tool paper presented in this book were carefully reviewed and selected …
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
529 kr
Lägg i varukorg
This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's contributions to the scientific community. It provides a sample of research ideas that have been influenced directly by Ernst-Rüdiger Olderog's work. …
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 Heike Wehrheim, Andre Platzer m. fl.
E-bok, 2015
638 kr
Lägg i varukorg
This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog''s contributions to the scientific community. It provides a sample of research ideas that have been influenced directly by Ernst-Rüdiger Olderog''s …
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
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 …
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 Heike Wehrheim, Roberto Gorrieri
E-bok, 2006
755 kr
Lägg i varukorg
Integrated Formal Methods
7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings
Av Michael Leuschel, Heike Wehrheim
Häftad, 2009
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009. The 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The …
Integrated Formal Methods
7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings
Av Heike Wehrheim, Michael Leuschel
E-bok, 2009
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009. The 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The …
