Zoeken

U zocht naar: Auteur Kroening, Daniel Filter Auteur: Kroening, Daniel weghalen
1 - 4 van 4
Aantal zoekresultaten per pagina

Zoekresultaten

1. Verified Software: Theories, Tools and Experiments
thumbnail
Full text!
Auteur:
Giannakopoulou; Kroening, Daniel
Uitgever:
Springer International Publishing 2014
Type:
e-book
2. Validation of Evolving Software
thumbnail
Full text!
Auteur:
Chockler, Hana; Kroening, Daniel; Mariani, Leonardo; Sharygina, Natasha
Uitgever:
Springer International Publishing 2015
Type:
e-book
3. Hardware and Software: Verification and Testing
thumbnail
Full text!
Auteur:
Barner, Sharon; Harris, Ian; Kanade, Takeo; Kroening, Daniel; Raz, Orna
Uitgever:
Springer Berlin Heidelberg 2011
Type:
e-book
4. Decision Procedures
thumbnail
Full text!
Auteur:
Kroening, Daniel; Brauer, W.; Hromkovič, J.; Strichman, Ofer; Bryant, R. E.; Rozenberg, G.
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book