登入帳戶  | 訂單查詢  | 購物車/收銀台( 0 ) | 在線留言板  | 付款方式  | 運費計算  | 聯絡我們  | 幫助中心 |  加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種:超過100萬種各類書籍/音像和精品,正品正價,放心網購,悭钱省心 服務:香港台灣澳門海外 送貨:速遞郵局服務站

新書上架簡體書 繁體書
暢銷書架簡體書 繁體書
好書推介簡體書 繁體書

三月出版:大陸書 台灣書
二月出版:大陸書 台灣書
一月出版:大陸書 台灣書
12月出版:大陸書 台灣書
11月出版:大陸書 台灣書
十月出版:大陸書 台灣書
九月出版:大陸書 台灣書
八月出版:大陸書 台灣書
七月出版:大陸書 台灣書
六月出版:大陸書 台灣書
五月出版:大陸書 台灣書
四月出版:大陸書 台灣書
三月出版:大陸書 台灣書
二月出版:大陸書 台灣書
一月出版:大陸書 台灣書

『英文書』Reactive Systems(ISBN=9780521875462)

書城自編碼: 1835470
分類:簡體書→原版英文書→科学与技术 Science & Tech
作者: Adobe
國際書號(ISBN): 9780521875462
出版社: Cambridge University
出版日期: 2012-01-01
版次: 1 印次: 1
頁數/字數: 284/
書度/開本: 16开 釘裝: 精装

售價:HK$ 1395.7

我要買

 

** 我創建的書架 **
未登入.


新書推薦:
变态心理揭秘
《 变态心理揭秘 》

售價:HK$ 59.8
非洲三万里(2024版)
《 非洲三万里(2024版) 》

售價:HK$ 81.6
不思而美:一个人的心灵简史带你美学漫步 让美成为修正生活的意志 从细节中看见大江大河 助你找到更多打开自己的可能
《 不思而美:一个人的心灵简史带你美学漫步 让美成为修正生活的意志 从细节中看见大江大河 助你找到更多打开自己的可能 》

售價:HK$ 69.6
成为作家
《 成为作家 》

售價:HK$ 57.6
工作文化史 古代卷
《 工作文化史 古代卷 》

售價:HK$ 81.6
像亚马逊一样思考
《 像亚马逊一样思考 》

售價:HK$ 94.8
中国震撼
《 中国震撼 》

售價:HK$ 86.4
以讹传讹:错误信息如何传播
《 以讹传讹:错误信息如何传播 》

售價:HK$ 93.6

 

內容簡介:
Formal methods is the term used to describe the specification
and verification of software and software systems using
mathematical logic. Various methodologies have been developed and
incorporated into software tools. An important subclass is
distributed systems. There are many books that look at particular
methodologies for such systems, e.g. CSP, process algebra. This
book offers a more balanced introduction for graduate students that
describes the various approaches, their strengths and weaknesses,
and when they are best used. Milner''s CCS and its operational
semantics are introduced, together with notions of behavioural
equivalence based on bisimulation techniques and with variants of
Hennessy-Milner modal logics. Later in the book, the presented
theories are extended to take timing issues into account. The book
has arisen from various courses taught in Iceland and Denmark and
is designed to give students a broad introduction to the area, with
exercises throughout.
目錄
Preface
Part I. A Classic Theory of Reactive Systems: 1. Introduction
2. The language CCS
3. Behavioural equivalences
4. Theory of fixed points and bisimulation equivalence
5. Hennessy-Milner logic
6. Hennessy-Milner logic with recursive definitions
7. Modelling and analysis of mutual exclusion algorithms
Part II. A Theory of Real-Time Systems: 8. Introduction
9. CCS with time delays
10. Timed automata
11. Timed behavioural equivalences
12. Hennessy-Milner logic with time
13. Modelling and analysis of Fischer''s algorithm
Appendix
Bibliography
Index.

 

 

書城介紹  | 合作申請 | 索要書目  | 新手入門 | 聯絡方式  | 幫助中心 | 找書說明  | 送貨方式 | 付款方式 香港用户  | 台灣用户 | 大陸用户 | 海外用户
megBook.com.hk
Copyright © 2013 - 2024 (香港)大書城有限公司  All Rights Reserved.