滿額折
Rodin User's Handbook ― Covers Rodin V.2.8
商品資訊
ISBN13：9781495438141
出版社：Createspace Independent Pub
作者：Michael Jastram; Prof Michael Butler
出版日：2014/02/04
裝訂／頁數：平裝／184頁
規格：23.4cm*15.6cm*1.1cm (高/寬/厚)
商品簡介
相關商品
商品簡介
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modeling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to verify consistency between refinement levels.The Rodin Platform is an Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. The platform is open source, contributes to the Eclipse framework and is further extendible with plugins.This book provides a tutorial for new users and a reference about the Rodin platform, the Event-B modeling notation and its mathematical toolkit.The handbook is licensed as Creative Commons CC-SA. This printed version has been produced at the request of many users by Formal Mind.
今日66折
您曾經瀏覽過的商品
購物須知
外文書商品之書封，為出版社提供之樣本。實際出貨商品，以出版社所提供之現有版本為主。部份書籍，因出版社供應狀況特殊，匯率將依實際狀況做調整。
無庫存之商品，在您完成訂單程序之後，將以空運的方式為你下單調貨。為了縮短等待的時間，建議您將外文書與其他商品分開下單，以獲得最快的取貨速度，平均調貨時間為1~2個月。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。