Software verification and analysis an integrated, hands-on approach

Software verification and analysis an integrated, hands-on approach

Bibliografski detalji
Glavni autor: Laski, Janusz
Daljnji autori: Stanley, William
Format: Knjiga
Jezik:English
Izdano: London Springer c2009.
Teme:
Computer software > Verification.