Software verification and analysis an integrated, hands-on approach

Software verification and analysis an integrated, hands-on approach

Bibliografiska uppgifter
Huvudupphovsman: Laski, Janusz
Övriga upphovsmän: Stanley, William
Materialtyp: Bok
Språk:English
Publicerad: London Springer c2009.
Ämnen:
Computer software > Verification.