bib.howest.be Zoekresultaten

U zocht naar: Auteur Chockler

1 - 5 van 5

1. Collaborative Financial Infrastructure Protection

Auteur:: Baldoni, Roberto; Chockler, Gregory
Uitgever:: Dordrecht Springer Berlin Heidelberg 2012
Type:: e-book

2. Computer Aided Verification

Auteur:: Chockler; Georg Weissenbacher; Weissenbacher, Georg
Uitgever:: Springer International Publishing 2018
Type:: e-book

3. Computer Aided Verification

Auteur:: Chockler; Georg Weissenbacher; Weissenbacher, Georg
Uitgever:: Springer International Publishing 2018
Type:: e-book

4. Validation of Evolving Software

Auteur:: Chockler, Hana; Kroening, Daniel; Mariani, Leonardo; Sharygina, Natasha
Uitgever:: Springer International Publishing 2015
Type:: e-book

5. Hardware and Software: Verification and Testing

Auteur:: Chockler, Hana; Hu, Alan J.; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book