Model Checking Software

Format:

e-book

Title:

Model Checking Software

Author:

Carbonell, Jaime G.; Siekmann, Jörg; Edelkamp, Stefan; Pfenning, Frank

Language:

English

Publisher:

Springer Berlin Heidelberg 2007

ISBN:

3-540-73369-8
3-540-73370-1

Subject:

Information Technology Software Engineering

Permalink:

http://bibtest.howest.be/catalog/ebk03:1000000000490800?locale=en