Hoppa till sidans huvudinnehåll

Bernd Finkbeiner - Böcker

Visar alla böcker från författaren Bernd Finkbeiner.
10 produkter

Runtime Verification

19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Av Bernd Finkbeiner, Leonardo Mariani

Häftad, Engelska, 2019

939 kr

Skickas inom 10-15 vardagar

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

729 kr

Skickas inom 10-15 vardagar

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

1 269 kr

Skickas inom 10-15 vardagar

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

669 kr

Skickas inom 10-15 vardagar

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

669 kr

Skickas inom 10-15 vardagar

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

669 kr

Skickas inom 10-15 vardagar
  • Nyhet

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

1 639 kr

Kommande

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

709 kr

Skickas inom 10-15 vardagar

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

729 kr

Skickas inom 10-15 vardagar

Runtime Verification

First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Av Howard Barringer, Ylies Falcone m. fl

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar