Wolfgang Ahrendt – författare
Visar alla böcker från författaren Wolfgang Ahrendt. Handla med fri frakt och snabb leverans.
10 produkter
Integrated Formal Methods
15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Av Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa
Häftad, 2019
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of …
Integrated Formal Methods
15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Av Silvia Lizeth Tapia Tarifa, Wolfgang Ahrendt
E-bok, 2019
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of …
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
566 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 …
Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
Av Wolfgang Ahrendt, Bernhard Beckert m. fl.
Häftad, 2020
566 kr
Lägg i varukorg
This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Support for real world programming languages by …
Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
Av Mattias Ulbrich, Reiner Hahnle m. fl.
E-bok, 2020
739 kr
Lägg i varukorg
This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification. Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Support for real world programming languages by …
Logic of Software. A Tasting Menu of Formal Methods
Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
Av Wolfgang Ahrendt, Bernhard Beckert m. fl.
Häftad, 2022
1126 kr
Lägg i varukorg
This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software …
Logic of Software. A Tasting Menu of Formal Methods
Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
Av Einar Broch Johnsen, Richard Bubel m. fl.
E-bok, 2022
1455 kr
Lägg i varukorg
This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software …
Deductive Software Verification – The KeY Book
From Theory to Practice
Av Wolfgang Ahrendt, Bernhard Beckert m. fl.
Häftad, 2016
1349 kr
Lägg i varukorg
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of - mostly fully automated - analyses: formal verification, test generation, security analysis, …
Deductive Software Verification - The KeY Book
From Theory to Practice
Av Mattias Ulbrich, Peter H. Schmitt m. fl.
E-bok, 2016
1798 kr
Lägg i varukorg
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of - mostly fully automated - analyses: formal verification, test generation, security analysis, …
