bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Information Technology Software Engineering

« Vorige | 281 - 290 van 634 | Volgende »

281. Model-Based Software Performance Analysis

Auteur:: Cortellessa, Vittorio; Di Marco, Antinisca; Inverardi, Paola
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

282. Model-Based Testing of Reactive Systems

Auteur:: Hutchison, David; Broy, M.; Kanade, Takeo; Jonsson, Bengt; Katoen, Joost-Pieter; Leucker, Martin; Pretschner, Alexander
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

283. Model Checking Software

Auteur:: Godefroid, Patrice; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

284. Model Checking Software

Auteur:: Valmari, Antti; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book

285. Model Checking Software

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

286. Model Checking Software

Auteur:: Groce, Alex; Kanade, Takeo; Musuvathi, Madanlal; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

287. Model Checking Software

Auteur:: Pol, Jaco; Kanade, Takeo; Weber, Michael; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

288. Model Checking Software

Auteur:: Bartocci, Ezio; Ramakrishnan, C.R.; Ramakrishnan, C. R.
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

289. Model Checking Software

Auteur:: Havelund, Klaus; Kanade, Takeo; Majumdar, Rupak; Palsberg, Jens; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

290. Model Checking Software

Auteur:: Carbonell, Jaime G.; Siekmann, Jörg; Edelkamp, Stefan; Pfenning, Frank
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book