Zoeken

U zocht naar: Auteur Finkbeiner, Bernd. Filter Auteur: Finkbeiner, Bernd. weghalen
1 - 4 van 4
Aantal zoekresultaten per pagina

Zoekresultaten

1. Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
thumbnail
Full text!
Auteur:
Finkbeiner, Bernd.; Wies, Thomas
Uitgever:
Cham Springer International Publishing AG 2022
Type:
e-book
2. Fields of Logic and Computation II
thumbnail
Full text!
Auteur:
Beklemishev; Blass, Andreas; Dershowitz, Nachum; Finkbeiner, Bernd; Schulte, Wolfram
Uitgever:
Springer International Publishing 2015
Type:
e-book
3. Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
thumbnail
Full text!
Auteur:
Blass; Cégielski, Patrick; Dershowitz, Nachum; Droste, Manfred; Finkbeiner, Bernd
Uitgever:
Springer International Publishing 2020
Type:
e-book
4. Runtime Verification
thumbnail
Full text!
Auteur:
Barringer, Howard; Falcone, Ylies; Finkbeiner, Bernd; Havelund, Klaus; Kanade, Takeo; Lee, Insup; Pace, Gordon; Roşu, Grigore; Sokolsky, Oleg; Tillmann, Nikolai
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book