Interactive Theorem Proving and Program Development

作者: Yves Bertot / Pierre Castéran / Pierre CastTran
出版社: Springer
出版年: 2004-06-24
页数: 497
定价: USD 79.95
装帧: Hardcover
ISBN: 9783540208549

这本书的其他版本  · · · · · ·  ( 全部2 )

以下书单推荐  · · · · · ·  ( 全部 )

谁读这本书?  · · · · · ·

那晚的山风
那晚的山风
1小时前 想读


Augustin Louis
Augustin Louis
2022年10月2日 在读


daji
daji
2022年8月28日 想读


yeeeyeah
yeeeyeah
2022年7月8日 想读


> 7人在读

> 5人读过

> 27人想读

二手市场  · · · · · ·

订阅关于Interactive Theorem Proving and Program Development的评论:
feed: rss 2.0