Zoeken

U zocht naar: Auteur Yliès Falcone Filter Auteur: Yliès Falcone weghalen Type e-book Filter Type: e-book weghalen
1 - 4 van 4
Aantal zoekresultaten per pagina

Zoekresultaten

1. Lectures on Runtime Verification
thumbnail
Full text!
Auteur:
Bartocci; Yliès Falcone; Falcone, Yliès
Uitgever:
Springer International Publishing 2018
Type:
e-book
2. Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
thumbnail
Full text!
Auteur:
Bartocci, Ezio; Falcone, Yliès; Leucker, Martin
Uitgever:
Springer 2021
Type:
e-book
3. Runtime Verification
thumbnail
Full text!
Auteur:
Falcone, Ylies. Sanchez, Cesar.; Sánchez, César
Uitgever:
Springer International Publishing 2016
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