Bernd Finkbeiner – författare

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

10 produkter

Kategorier

10 produkter

Runtime Verification
19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
AvBernd Finkbeiner,Leonardo Mariani
Häftad, Engelska, 2019
969 kr
Skickas inom 10-15 vardagar
Del 12180
Del 12180 - Lecture Notes in Computer Science
Fields of Logic and Computation III
Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
AvAndreas Blass,Patrick Cégielskim. fl.
Häftad, Engelska, 2020
749 kr
Skickas inom 10-15 vardagar
Del 13182
Del 13182 - Lecture Notes in Computer Science
Verification, Model Checking, and Abstract Interpretation
23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
AvBernd Finkbeiner,Thomas Wies
Häftad, Engelska, 2022
1 299 kr
Skickas inom 10-15 vardagar
Del 14570
Del 14570 - Lecture Notes in Computer Science
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
AvBernd Finkbeiner,Laura Kovács
Häftad, Engelska, 2024
599 kr
Skickas inom 10-15 vardagar
Del 14571
Del 14571 - Lecture Notes in Computer Science
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
AvBernd Finkbeiner,Laura Kovács
Häftad, Engelska, 2024
599 kr
Skickas inom 10-15 vardagar
Del 14572
Del 14572 - Lecture Notes in Computer Science
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
AvBernd Finkbeiner,Laura Kovács
Häftad, Engelska, 2024
599 kr
Skickas inom 10-15 vardagar
Del 16060
Del 16060 - Lecture Notes in Computer Science
Design and Verification of Cyber-Physical Systems: From Theory to Applications
Essays Dedicated to Martin Fränzle on the Occasion of His 60th Birthday
AvAndreas Rauh,Bernd Finkbeinerm. fl.
Häftad, Engelska, 2026
1 179 kr
Skickas inom 10-15 vardagar
Del 9300
Del 9300 - Lecture Notes in Computer Science
Fields of Logic and Computation II
Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
AvLev D. Beklemishev,Andreas Blassm. fl.
Häftad, Engelska, 2015
729 kr
Skickas inom 10-15 vardagar
Del 9364
Del 9364 - Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
AvBernd Finkbeiner,Geguang Pum. fl.
Häftad, Engelska, 2015
749 kr
Skickas inom 10-15 vardagar
Runtime Verification
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
AvHoward Barringer,Ylies Falconem. fl.
Häftad, Engelska, 2010
749 kr
Skickas inom 10-15 vardagar

Bernd Finkbeiner – författare

Runtime Verification

Fields of Logic and Computation III

Verification, Model Checking, and Abstract Interpretation

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Design and Verification of Cyber-Physical Systems: From Theory to Applications

Fields of Logic and Computation II

Automated Technology for Verification and Analysis

Runtime Verification

Bernd Finkbeiner – författare

Runtime Verification

Fields of Logic and Computation III

Verification, Model Checking, and Abstract Interpretation

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Design and Verification of Cyber-Physical Systems: From Theory to Applications

Fields of Logic and Computation II

Automated Technology for Verification and Analysis

Runtime Verification