书籍 Verification of Sequential and Concurrent Programs Second Edition的封面

Verification of Sequential and Concurrent Programs Second Edition

出版社

Inc.

出版时间

1997

ISBN

0387948961

标注页数

364 页

PDF页数

380 页

书籍介绍
在线购买PDF电子书