Software verification and analysis an integrated, hands-on approach

Software verification and analysis an integrated, hands-on approach

Bibliografiske detaljer
Hovedforfatter: Laski, Janusz
Andre forfattere: Stanley, William
Format: Bog
Sprog:English
Udgivet: London Springer c2009.
Fag:
Computer software > Verification.