图书目录大全

Modular Specification and Verification of Object-Oriented Programs 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024

☆☆☆☆☆
簡體網頁||繁體網頁

Peter Müller 作者

1 edition (2002年3月1日)

譯者

2002-5 出版日期

292 頁數

110.00 價格

平裝

叢書系列

9783540431671 圖書編碼

Modular Specification and Verification of Object-Oriented Programs 在線電子書圖書標籤:

喜歡 Modular Specification and Verification of Object-Oriented Programs 在線電子書的讀者還喜歡

下載鏈接在頁面底部

點擊這裡下載

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

想要找書就要到圖書目錄大全

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

發表於2024-11-09

Modular Specification and Verification of Object-Oriented Programs 在線電子書 epub 下載 mobi 下載 pdf 下載 txt 下載 2024

Modular Specification and Verification of Object-Oriented Programs 在線電子書 epub 下載 pdf 下載 mobi 下載 txt 下載 2024

Modular Specification and Verification of Object-Oriented Programs 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024

Modular Specification and Verification of Object-Oriented Programs 在線電子書用戶評價

評分☆☆☆☆☆

Modular Specification and Verification of Object-Oriented Programs 在線電子書著者簡介

Modular Specification and Verification of Object-Oriented Programs 在線電子書 pdf 下載 txt下載 epub 下載 mobi 在線電子書下載

Modular Specification and Verification of Object-Oriented Programs 在線電子書圖書描述

在綫閱讀本書

This book presents new techniques for the formal specification and verification of object-oriented software. Since modularity is of critical importance for reuse and component-based programming, special emphasis is given to the completeness of the presented specification techniques to allow module verification based on the specification of the imported modules. A formal framework developed for a Java subset illustrates these new techniques.

Modular Specification and Verification of Object-Oriented Programs 在線電子書下載 mobi epub pdf txt 在線電子書下載

想要找書就要到圖書目錄大全

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!