bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Software

« Vorige | 201 - 210 van 666 | Volgende »

201. Formal Methods and Testing

Auteur:: Hierons, Robert M.; Bowen, Jonathan P.; Bowen, Jonathan Peter; Harman, Mark; Kanade, Takeo
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

202. Formal Methods: Applications and Technology

Auteur:: Brim, LuboÅ¡; Haverkort, Boudewijn; Haverkort, Boudewijn R.; Leucker, Martin; Pol, Jaco; Pol, J. van den; Pol, Jaco van de
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

203. Formal Methods for Components and Objects

Auteur:: Hutchison, David; Boer, Frank S. de; Kanade, Takeo; de Boer, Frank S.; de Roever, Willem-Paul; Graf, Susanne; Bonsangue, Marcello M.
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

204. Formal Methods for Components and Objects

Auteur:: Boer, Frank S.; Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; Kanade, Takeo; Roever, Willem-Paul; de Roever, Willem-Paul
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

205. Formal Methods for Components and Objects

Auteur:: Boer, Frank S.; Bonsangue, Marcello M.; Kanade, Takeo; Madelaine, Eric; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

206. Formal Methods for Components and Objects

Auteur:: Boer, Frank S.; Bonsangue, Marcello M.; Hallerstede, Stefan; Kanade, Takeo; Leuschel, Michael
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

207. Formal Methods for Components and Objects

Auteur:: Hutchison, David; Kanade, Takeo; Bonsangue, Marcello M.; de Boer, Frank S.
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

208. Formal Methods for Components and Objects

Auteur:: Boer, Frank S.; Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; Kanade, Takeo; Roever, Willem-Paul; de Roever, Willem-Paul; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

209. Formal Methods for Components and Objects

Auteur:: Boer, Frank S.; Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; Kanade, Takeo; Roever, Willem-Paul; de Roever, Willem-Paul; Kittler, Josef; Roever, Willem-Paul de
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

210. Formal Methods for Components and Objects

Auteur:: Hutchison, David; Kanade, Takeo; Bonsangue, Marcello M.; Damiani, Ferruccio; de Boer, Frank S.
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book