Software verification and analysis an integrated, hands-on approach

Software verification and analysis an integrated, hands-on approach

Bibliografske podrobnosti
Glavni avtor: Laski, Janusz
Drugi avtorji: Stanley, William
Format: Knjiga
Jezik:English
Izdano: London Springer c2009.
Teme:
Computer software > Verification.