Rigorous Development of Complex Fault-Tolerant Systems
商品資訊
系列名：Lecture Notes in Computer Science
ISBN13：9783540482659
替代書名：Rigorous Development of Complex Fault-Tolerant Systems
出版社：Springer Verlag
作者：Cliff Jones (EDT); Alexander Romanovsky (EDT); Elena Troubitsyna (EDT)
出版日：2007/01/03
裝訂／頁數：平裝／403頁
規格：23.5cm*15.2cm*2.5cm (高/寬/厚)
定價
：NT$ 5450 元若需訂購本書，請電洽客服 02-25006600[分機130、131]。
商品簡介
相關商品
商品簡介
This book brings together 19 papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems. It is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005.
您曾經瀏覽過的商品
購物須知
外文書商品之書封，為出版社提供之樣本。實際出貨商品，以出版社所提供之現有版本為主。部份書籍，因出版社供應狀況特殊，匯率將依實際狀況做調整。
無庫存之商品，在您完成訂單程序之後，將以空運的方式為你下單調貨。為了縮短等待的時間，建議您將外文書與其他商品分開下單，以獲得最快的取貨速度，平均調貨時間為1~2個月。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。