bib.howest.be Zoekresultaten

U zocht naar: Type e-book

« Vorige | 168,221 - 168,230 van 173,163 | Volgende »

168221. Verification, Model Checking, and Abstract Interpretation

Auteur:: Bouajjani; Monniaux, David
Uitgever:: Springer International Publishing 2017
Type:: e-book

168222. Verification, Model Checking, and Abstract Interpretation

Auteur:: D'Souza; D'Souza, Deepak; Lal, Akash; Larsen, Kim Guldstrand
Uitgever:: Springer Berlin Heidelberg 2015
Type:: e-book

168223. Verification, Model Checking, and Abstract Interpretation

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Rybalchenko, Andrey
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

168224. Verification, Model Checking, and Abstract Interpretation

Auteur:: Hutchison, David; Kanade, Takeo; Berdine, Josh; Mastroeni, Isabella
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

168225. Verification, Model Checking, and Abstract Interpretation

Auteur:: Fritz Henglein; Shoham, Sharon; Vizel, Yakir
Uitgever:: Springer International Publishing 2021
Type:: e-book

168226. Verification, Model Checking, and Abstract Interpretation

Auteur:: Beyer; Zufferey, Damien
Uitgever:: Springer International Publishing 2020
Type:: e-book

168227. Verification, Model Checking, and Abstract Interpretation

Auteur:: Logozzo, Francesco; Peled, Doron A.; Zuck, Lenore D.; Zuck, Leonore D.
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

168228. Verification, Model Checking, and Abstract Interpretation

Auteur:: Cook, Byron; Kanade, Takeo; Podelski, Andreas; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

168229. Verification, Model Checking, and Abstract Interpretation

Auteur:: Jones, Neil D.; Müller-Olm, Markus
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

168230. Verification, Model Checking, and Abstract Interpretation

Auteur:: Kenneth L. McMillan, Xavier Rival; Rival, Xavier
Uitgever:: Springer Berlin Heidelberg 2014
Type:: e-book