现货 Scalable Techniques for Formal Verification[9781441959973]

1159 九五品

仅1件

上海宝山

认证卖家担保交易快速发货售后保障

作者Ray, Sandip

出版社Springer

ISBN9781441959973

出版时间2010-05

装帧精装

纸张其他

页数243页

正文语种英语

上书时间2023-03-29

已实名已认证进店收藏店铺

商品描述: This book presents state-of-the-art approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It should benefit researchers and practitioners looking to get a broad over rview of the spectrum of formal verification techniques, as well as approaches to combining such techniques within a single framework. Coverage includes a range of case studies showing how such combination is fruitful in developing a scalable verificatio

— 没有更多了 —