Reactive Systems pdf epub mobi txt 电子书 下载 2024


Reactive Systems

简体网页||繁体网页
Luca Aceto
Cambridge University Press
2007-08-13
284
821.00元
Hardcover
9780521875462

图书标签: process  algebra   


喜欢 Reactive Systems 的读者还喜欢




点击这里下载
    


想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-11-22

Reactive Systems epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024

Reactive Systems epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024

Reactive Systems pdf epub mobi txt 电子书 下载 2024



图书描述

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 下载 mobi epub pdf txt 电子书

著者简介


图书目录


Reactive Systems pdf epub mobi txt 电子书 下载
想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

用户评价

评分

不错的!

评分

不错的!

评分

不错的!

评分

不错的!

评分

不错的!

读后感

评分

这本书,我用于研究生低年级,基本上看懂没问题。前一半: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,估计是作者自己的研究兴趣部份,我直接放过。 这样的本科教材,难得啊!

类似图书 点击查看全场最低价

Reactive Systems pdf epub mobi txt 电子书 下载 2024


分享链接









相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 qciss.net All Rights Reserved. 小哈图书下载中心 版权所有