Formal Methods at the Crossroads. From Panacea to Foundational Support 十字路口中的形式方法

作者:  Bernhard K·Aichernig / Tom Maibaum
出版社: Springer
副标题: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software ... Papers (Lecture Notes in Computer Science)
出版年: 2004-01-22
页数: 455
定价: 733.94元
装帧: Paperback
ISBN: 9783540205272
目前无人评价

在哪儿借这本书  · · · · · ·

谁读这本书?

二手市场

订阅关于Formal Methods at the Crossroads. From Panacea to Foundational Support 十字路口中的形式方法的评论:
feed: rss 2.0