Model Checking Software

Type:

e-book

Titel:

Model Checking Software

Auteur:

Havelund, Klaus; Kanade, Takeo; Majumdar, Rupak; Palsberg, Jens; Kittler, Josef

Taal:

Engels

Uitgever:

Springer Berlin Heidelberg 2008

ISBN:

3-540-85113-5
3-540-85114-3

Onderwerp:

Information Technology Software Engineering

Permalink:

http://bibtest.howest.be/catalog/ebk03:1000000000490799