Verification of Sequential and Concurrent Programs

girro 13 阅读 0 评论
计算机与互联网

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Hardcover: 502 pages

Publisher: Springer (September 30, 2010)

Language: English

ISBN-10: 184882744X

资源下载资源下载价格10元立即购买