Tuesday, March 27, 2012

Rigorous Software Development - An Intro to Program Verification

Rigorous Software Development - An Intro to Program Verification

Rigorous Software Development - An Intro to Program Verification


HASH: 9508ba23139341db5c53a0313b044103601f93be

*Rigorous Software Development - An Intro to program Verification - J. Almeida, et al., (Springer, 2011) WW.pdf

No comments:

Post a Comment