Reactive Systems 2024 pdf epub mobi 電子書 下載


Reactive Systems

簡體網頁||繁體網頁

Reactive Systems pdf epub mobi 著者簡介


Reactive Systems pdf epub mobi 圖書描述

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.

Reactive Systems 2024 pdf epub mobi 電子書 下載

Reactive Systems pdf epub mobi 圖書目錄




點擊這裡下載
    


想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-11-05

Reactive Systems 2024 pdf epub mobi 電子書 下載

Reactive Systems 2024 pdf epub mobi 電子書 下載

Reactive Systems 2024 pdf epub mobi 電子書 下載



喜欢 Reactive Systems 電子書 的读者还喜欢


Reactive Systems pdf epub mobi 讀後感

評分

這本書,我用於研究生低年級,基本上看懂沒問題。前一半:CCS+HML部份講解清晰,實例詳盡。後一半,講Real Time CCS,估計是作者自己的研究興趣部份,我直接放過。 這樣的本科教材,難得啊!

評分

這本書,我用於研究生低年級,基本上看懂沒問題。前一半:CCS+HML部份講解清晰,實例詳盡。後一半,講Real Time CCS,估計是作者自己的研究興趣部份,我直接放過。 這樣的本科教材,難得啊!

評分

這本書,我用於研究生低年級,基本上看懂沒問題。前一半:CCS+HML部份講解清晰,實例詳盡。後一半,講Real Time CCS,估計是作者自己的研究興趣部份,我直接放過。 這樣的本科教材,難得啊!

評分

這本書,我用於研究生低年級,基本上看懂沒問題。前一半:CCS+HML部份講解清晰,實例詳盡。後一半,講Real Time CCS,估計是作者自己的研究興趣部份,我直接放過。 這樣的本科教材,難得啊!

評分

這本書,我用於研究生低年級,基本上看懂沒問題。前一半:CCS+HML部份講解清晰,實例詳盡。後一半,講Real Time CCS,估計是作者自己的研究興趣部份,我直接放過。 這樣的本科教材,難得啊!

類似圖書 點擊查看全場最低價
出版者:Cambridge University Press
作者:Luca Aceto
出品人:
頁數:284
譯者:
出版時間:2007-08-13
價格:821.00元
裝幀:Hardcover
isbn號碼:9780521875462
叢書系列:

圖書標籤: process  algebra   


Reactive Systems 2024 pdf epub mobi 電子書 下載
想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

Reactive Systems pdf epub mobi 用戶評價

評分

不錯的!

評分

process algebra 入門讀物

評分

不錯的!

評分

process algebra 入門讀物

評分

不錯的!

Reactive Systems 2024 pdf epub mobi 電子書 下載


分享鏈接





相關圖書




本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 onlinetoolsland.com All Rights Reserved. 本本書屋 版權所有