Bernd Finkbeiner – författare
Visar alla böcker från författaren Bernd Finkbeiner. Handla med fri frakt och snabb leverans.
17 produkter
Runtime Verification
19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Av Bernd Finkbeiner, Leonardo Mariani
Häftad, 2019
736 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions.The RV conference is concerned with …
Runtime Verification
19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Av Leonardo Mariani, Bernd Finkbeiner
E-bok, 2019
894 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019. The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions. The RV conference is concerned with …
Fields of Logic and Computation III
Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
Av Andreas Blass, Patrick Cégielski m. fl.
Häftad, 2020
569 kr
Lägg i varukorg
This Festschrift is published in honor of Yuri Gurevich’s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18–20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri’s 80th birthday. Because of the coronavirus …
Fields of Logic and Computation III
Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
Av Bernd Finkbeiner, Manfred Droste m. fl.
E-bok, 2020
739 kr
Lägg i varukorg
This Festschrift is published in honor of Yuri Gurevich’s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18–20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri’s 80th birthday. Because of the coronavirus …
Verification, Model Checking, and Abstract Interpretation
23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
Av Bernd Finkbeiner, Thomas Wies
Häftad, 2022
989 kr
Lägg i varukorg
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI …
Verification, Model Checking, and Abstract Interpretation
23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
Av Thomas Wies, Bernd Finkbeiner
E-bok, 2022
1296 kr
Lägg i varukorg
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022. The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI …
Tools and Algorithms for the Construction and Analysis of Systems
30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I
Av Bernd Finkbeiner, Laura Kovács
Häftad, 2024
455 kr
Lägg i varukorg
The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS …
Tools and Algorithms for the Construction and Analysis of Systems
30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II
Av Bernd Finkbeiner, Laura Kovács
Häftad, 2024
455 kr
Lägg i varukorg
The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS …
Tools and Algorithms for the Construction and Analysis of Systems
30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III
Av Bernd Finkbeiner, Laura Kovács
Häftad, 2024
455 kr
Lägg i varukorg
The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS …
Design and Verification of Cyber-Physical Systems: From Theory to Applications
Essays Dedicated to Martin Franzle on the Occasion of His 60th Birthday
Av Paul Kroger, Bernd Finkbeiner m. fl.
E-bok, 2026
1141 kr
Lägg i varukorg
This Festschrift is dedicated to Martin Fränzle, a leading researcher in formal methods and cyber-physical systems. After an award-winning PhD at Christian Albrechts Universität zu Kiel, Prof. Fränzle has had roles as a researcher, associate professor, and guest professor at institutions such as …
Design and Verification of Cyber-Physical Systems: From Theory to Applications
Essays Dedicated to Martin Fränzle on the Occasion of His 60th Birthday
Av Andreas Rauh, Bernd Finkbeiner m. fl.
Häftad, 2026
899 kr
Lägg i varukorg
This Festschrift is dedicated to Martin Fränzle, a leading researcher in formal methods and cyber-physical systems. After an award-winning PhD at Christian Albrechts Universität zu Kiel, Prof. Fränzle has had roles as a researcher, associate professor, and guest professor at institutions such as …
Fields of Logic and Computation II
Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Av Lev D. Beklemishev, Andreas Blass m. fl.
Häftad, 2015
551 kr
Lägg i varukorg
This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer …
Fields of Logic and Computation II
Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Av Wolfram Schulte, Bernd Finkbeiner m. fl.
E-bok, 2015
755 kr
Lägg i varukorg
This Festschrift is published in honor of Yuri Gurevich''s 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of …
Automated Technology for Verification and Analysis
13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Av Bernd Finkbeiner, Geguang Pu m. fl.
Häftad, 2015
569 kr
Lägg i varukorg
This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from …
Automated Technology for Verification and Analysis
13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Av Lijun Zhang, Geguang Pu m. fl.
E-bok, 2015
739 kr
Lägg i varukorg
This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from …
Runtime Verification
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Av Howard Barringer, Ylies Falcone m. fl.
Häftad, 2010
569 kr
Lägg i varukorg
This volume contains the proceedings of the 2010 Runtime Veri?cation conf- ence (RV 2010), which was held in St. Julians, Malta on November 1-4, 2010. The conference program included a mix of invited talks and peer reviewed p- sentations, tutorials, and tool demonstrations. The 2010 Runtime …
Runtime Verification
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Av Nikolai Tillmann, Oleg Sokolsky m. fl.
E-bok, 2010
755 kr
Lägg i varukorg
