Software verification and analysis : an integrated, hands-on approach
Laski, Janusz,
Software verification and analysis : an integrated, hands-on approach - New Delhi Springer 2009 - 224p.
9788132204510
Computer software--Verification
Software engineering
Computer science
Computer programming
005.1 / LAS
Software verification and analysis : an integrated, hands-on approach - New Delhi Springer 2009 - 224p.
9788132204510
Computer software--Verification
Software engineering
Computer science
Computer programming
005.1 / LAS