登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　運費計算　 |　聯絡我們　 |　幫助中心　|　 加入書簽
會員登入   新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度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

我要買 件

share:

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


新書推薦：
钱谦益年谱长编（上中下）
《 钱谦益年谱长编（上中下） 》
售價：HK$ 684.4
ESC心血管疾病患者运动心脏病学和体育锻炼指南解读
《 ESC心血管疾病患者运动心脏病学和体育锻炼指南解读 》
售價：HK$ 80.2
认知差：人为什么赚不到认知范围以外的钱？
《 认知差：人为什么赚不到认知范围以外的钱？ 》
售價：HK$ 73.2
人工智能辅助艺术创作与设计应用基础
《 人工智能辅助艺术创作与设计应用基础 》
售價：HK$ 116.8
人工智能辅助艺术创作与设计应用实战
《 人工智能辅助艺术创作与设计应用实战 》
售價：HK$ 116.8
天下、中国与王朝：中国古代政治地理结构再认知
《 天下、中国与王朝：中国古代政治地理结构再认知 》
售價：HK$ 101.0
缥缈 典藏版（1-5）
《 缥缈 典藏版（1-5） 》
售價：HK$ 258.5
揭秘立体翻翻书 我们的中国+地图 精装硬壳儿童3D立体书 小学生中国地理百科 少儿百科知识翻翻书启蒙读物
《 揭秘立体翻翻书 我们的中国+地图 精装硬壳儿童3D立体书 小学生中国地理百科 少儿百科知识翻翻书启蒙读物 》
售價：HK$ 228.6

內容簡介：
Formal methods is the term used to describe the specification 來源：香港大書城megBookStore,http://www.megbook.com.hk
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 - 2025 （香港）大書城有限公司　 All Rights Reserved.