The B-method pdf epub mobi txt 電子書 下載 2024
簡體網頁||繁體網頁
圖書標籤: Reading Pre-Course List
喜歡 The B-method 的讀者還喜歡
點擊這裡下載
发表于2024-12-23
The B-method epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024
The B-method epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024
The B-method pdf epub mobi txt 電子書 下載 2024
圖書描述
This is a textbook introduction to the B-Method, a rigorous methodology for the development of correct software, underpinned by powerful state-of-the-art tool support. It covers the B approach to software development from specification through refinement, down to implementation and automatic code generation, with verification at each stage. The book assumes no prior knowledge and is written in a tutorial style, containing numerous illustrative examples, exercises and self tests with answers. It also comes with a free licence for the B Toolkit.
著者簡介
圖書目錄
The B-method pdf epub mobi txt 電子書 下載
用戶評價
讀後感
評分
評分
評分
評分
The B-method pdf epub mobi txt 電子書 下載 2024
分享鏈接
相關圖書
-
The Handbook of Task Analysis for Human-Computer Interaction pdf epub mobi txt 電子書 下載 -
Financial Reporting pdf epub mobi txt 電子書 下載
-
Peppa Pig pdf epub mobi txt 電子書 下載
-
Where the Wild Things Are Collector's Edition pdf epub mobi txt 電子書 下載
-
The Smartest Giant in Town pdf epub mobi txt 電子書 下載
-
My Daddy Snores pdf epub mobi txt 電子書 下載
-
小小的小豬-迪士尼寶寶自己讀-第1級 pdf epub mobi txt 電子書 下載
-
大象和壞小子 pdf epub mobi txt 電子書 下載
-
Alice in Wonderland pdf epub mobi txt 電子書 下載
-
Technics and Time, 1 pdf epub mobi txt 電子書 下載
-
The Effective Reader pdf epub mobi txt 電子書 下載
-
TIP TAP Went the Crab pdf epub mobi txt 電子書 下載
-
On the Genealogy of Morals pdf epub mobi txt 電子書 下載
-
感性的形式 pdf epub mobi txt 電子書 下載
-
詩的錶演 pdf epub mobi txt 電子書 下載
-
修辭論美學 pdf epub mobi txt 電子書 下載
-
20世紀藝術的語言 pdf epub mobi txt 電子書 下載
-
新左派的文化政治 pdf epub mobi txt 電子書 下載
-
心之拓樸 pdf epub mobi txt 電子書 下載
-
伊卡洛斯之翼 pdf epub mobi txt 電子書 下載
