Rigorous Software Development: An Introduction to

2014-01-26 分类：计算机、互联网

Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)

Hardcover: 320 pages

Publisher: Springer (January 7, 2011)

Language: English

ISBN-10: 0857290177

代发服务PDF电子书10元立即求助

1111

 打赏