作者:
Krzysztof R. Apt
/
Frank S. de Boer
/
Ernst-Rüdiger Olderog
出版社: Springer
出版年: 2009-10-28
页数: 528
定价: USD 89.95
装帧: Hardcover
丛书: Texts in Computer Science
ISBN: 9781848827448
出版社: Springer
出版年: 2009-10-28
页数: 528
定价: USD 89.95
装帧: Hardcover
丛书: Texts in Computer Science
ISBN: 9781848827448
这本书的其他版本 · · · · · · ( 全部2 )
以下书单推荐 · · · · · · ( 全部 )
- 形式化方法 程序分析 验证 (weiky™)
- T (dhcn)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有4人想读,手里有一本闲着?
订阅关于Verification of Sequential and Concurrent Programs (Texts in Computer Science)的评论:
feed: rss 2.0
还没人写过短评呢
还没人写过短评呢