Items related to Introduction to Computer Science in the 21st Century...
Introduction to Computer Science in the 21st Century Colleges practical planning materials Formal Methods(Chinese Edition) - Softcover
Synopsis
正版授权 Seller : Bonrise 加微信[soweinc]每天分享好书,邀你加入国际微信群学习交流.微信好友低至5-9折的优惠 .书名:形式化方法导论简介:作者:张广泉出版社:清华大学出版社出版时间:2015年12月装订方式:平装分类:教材|研究生/本科/专科教材|工学图书|计算机/网络|计算机理论21世纪高等学校计算机专业实用规划教材
"synopsis" may belong to another edition of this title.
Search results for Introduction to Computer Science in the 21st Century...
Seller Image
Introduction to Computer Science in the 21st Century Colleges practical planning materials Formal Methods(Chinese Edition)
Seller: liu xing, Nanjing, JS, China
Seller rating 5 out of 5 stars
paperback. Condition: New. Language:Chinese.Paperback. Pub Date: 2015-12-01 Publisher: Tsinghua University Press formal methods means that there is a strict mathematical foundations of software and systems development methodology. software and system support statute. design. verification and other activities and evolution. With the growing demand for software trustworthiness. importance and attention formal methods of increasing. The book has 12 chapters. Chapter 1 Overview of formal methods. formal methods Chapter 2 d. Seller Inventory # CX018980