Software verification and analysis an integrated, hands-on approach

Software verification and analysis an integrated, hands-on approach

Xehetasun bibliografikoak
Egile nagusia: Laski, Janusz
Beste egile batzuk: Stanley, William
Formatua: Liburua
Hizkuntza:English
Argitaratua: London Springer c2009.
Gaiak:
Computer software > Verification.