Verification, Model Checking, and Abstract Interpretation 2024 pdf epub mobi 電子書 下載


Verification, Model Checking, and Abstract Interpretation

簡體網頁||繁體網頁

Verification, Model Checking, and Abstract Interpretation pdf epub mobi 著者簡介


Verification, Model Checking, and Abstract Interpretation pdf epub mobi 圖書描述

The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages. The 24 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 72 submissions. The papers address all current issues from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas.

Verification, Model Checking, and Abstract Interpretation 2024 pdf epub mobi 電子書 下載

Verification, Model Checking, and Abstract Interpretation pdf epub mobi 圖書目錄




點擊這裡下載
    


想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-11-10

Verification, Model Checking, and Abstract Interpretation 2024 pdf epub mobi 電子書 下載

Verification, Model Checking, and Abstract Interpretation 2024 pdf epub mobi 電子書 下載

Verification, Model Checking, and Abstract Interpretation 2024 pdf epub mobi 電子書 下載



喜欢 Verification, Model Checking, and Abstract Interpretation 電子書 的读者还喜欢


Verification, Model Checking, and Abstract Interpretation pdf epub mobi 讀後感

評分

評分

評分

評分

評分

類似圖書 點擊查看全場最低價
出版者:
作者:Muller-Olm, Markus 編
出品人:
頁數:381
譯者:
出版時間:
價格:$ 90.34
裝幀:
isbn號碼:9783540938996
叢書系列:

圖書標籤:  


Verification, Model Checking, and Abstract Interpretation 2024 pdf epub mobi 電子書 下載
想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

Verification, Model Checking, and Abstract Interpretation pdf epub mobi 用戶評價

評分

翻翻前人的成果樂趣多;

評分

翻翻前人的成果樂趣多;

評分

翻翻前人的成果樂趣多;

評分

翻翻前人的成果樂趣多;

評分

翻翻前人的成果樂趣多;

Verification, Model Checking, and Abstract Interpretation 2024 pdf epub mobi 電子書 下載


分享鏈接





相關圖書




本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 onlinetoolsland.com All Rights Reserved. 本本書屋 版權所有