Provably Correct Systems
- 系列名：Nasa Monographs in Systems and Software
- ISBN13：9783319486277
- 出版社：Springer Verlag
- 作者：Mike Hinchey (EDT); Jonathan P. Bowen (EDT); Ernst-r?ger Olderog (EDT)
- 裝訂：精裝
- 出版日：2017/03/10
商品簡介
As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project ‘ProCoS’ (Provably Correct Systems).
The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail.
The following topics are covered:
- A historical account of the ProCoS project
- Hybrid Systems
- Correctness of Concurrent Algorithms
- Interfaces and Linking
- Automatic Verification
- Run-time Assertions Checking
- Formal and Semi-Formal Methods
Provably Correct Systems provides researchers, designers and engineers with a complete overview of the ProCoS initiative, past and present, and explores current developments and perspectives within the field.
您曾經瀏覽過的商品
購物須知
外文書商品之書封，為出版社提供之樣本。實際出貨商品，以出版社所提供之現有版本為主。部份書籍，因出版社供應狀況特殊，匯率將依實際狀況做調整。
無庫存之商品，在您完成訂單程序之後，將以空運的方式為你下單調貨。為了縮短等待的時間，建議您將外文書與其他商品分開下單，以獲得最快的取貨速度，平均調貨時間為1~2個月。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。