-
251. Model Checking Software
by Antti Valmari
eBook See More Details
2006, Springer Nature
eBook ISBN: 9783540331025
Edition: 1st edition
Format: PDF eBook
Digital download
$54.99
-
252. Hardware and Software, Verification and Testing
by Shmuel Ur; Âeyal Bin; Âyaron Wolfsthal
eBook See More Details
2006, Springer Nature
eBook ISBN: 9783540326045
Edition: 1st edition
Format: PDF eBook
Digital download
$16.50
-
253. Rules and Rule Markup Languages for the Semantic Web
by Asaf Adi; Âsuzette Stoutenburg; Âsaid Tabet
eBook See More Details
2005, Springer Nature
eBook ISBN: 9783540299226
Edition: 1st edition
Format: PDF eBook
Digital download
$16.50
-
254. Model Checking Software
by Susanne Graf; Âlaurent Mounier
eBook See More Details
2004, Springer Nature
eBook ISBN: 9783540213147
Edition: 1st edition
Format: PDF eBook
Digital download
$16.50
-
255. Formal Methods for Software Architectures
by Marco Bernardo; Âpaola Inverardi
eBook See More Details
2003, Springer Nature
eBook ISBN: 9783540200833
Edition: 1st edition
Format: PDF eBook
Digital download
$16.50
|
