Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)

Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者:
2012-01
ISBN: 9781107403864
定价: 533.90
装帧: 平装
开本: 其他
纸张: 其他
页数: 200页
正文语种: 英语
  • Thisbookwasfirstpublishedin1993.Computingsystemsarebecominghighlycomplex,hardertounderstand,andthereforemorepronetofailure.Wheresuchsystemscontrolaircraftforexample,systemfailurecouldhavedisastrousconsequences.Itisimportantthereforethatweareabletoemploymathematicaltechniquestospecifythebehaviourorsafetycriticalsystems.ThisthesisusesthetheoryofCommunicatingSequentialProcesses(CSP)toshowhowareal-limesystemmaybespecified.Includedisacasestudyinwhichalocalareanetworkprotocolisdescribedattwolevelsofabstraction,andageneralmethod14structuringCSPdescriptionsoflayeredprotocolsisgiven.
  • 内容简介:
    Thisbookwasfirstpublishedin1993.Computingsystemsarebecominghighlycomplex,hardertounderstand,andthereforemorepronetofailure.Wheresuchsystemscontrolaircraftforexample,systemfailurecouldhavedisastrousconsequences.Itisimportantthereforethatweareabletoemploymathematicaltechniquestospecifythebehaviourorsafetycriticalsystems.ThisthesisusesthetheoryofCommunicatingSequentialProcesses(CSP)toshowhowareal-limesystemmaybespecified.Includedisacasestudyinwhichalocalareanetworkprotocolisdescribedattwolevelsofabstraction,andageneralmethod14structuringCSPdescriptionsoflayeredprotocolsisgiven.
查看详情
目前没有书店销售此书
相关图书 / 更多
Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)
Specification by Example:How Successful Teams Deliver the Right Software
Gojko Adzic 著
Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)
Specification for Geological Observation of Water Resources and Hydropower Engineering
Ministry of Water Resources of the People’s Republic of China 著
您可能感兴趣 / 更多
Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)
Rust编程 第2版(影印版)
Jim Blandy
Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)
比特币程序设计(影印版英文版)
Jimmy Song 著
Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)
英语语法教学:教什么与怎样教(麦克米伦英语教师丛书)
Jim Scrivener
Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)
DumbnessIsADishBestServedCold(DearDumbDiary:DeluxeEdition)
Jim Benton 著
Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)
MyWeirdestSchool#4:Mrs.MeyerIsonFire!
Jim Paillot、Dan Gutman 著
Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)
Hands:A Pictorial Archive from Nineteenth-Century Sources
Jim Harter 编
Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)
The New Power Base Selling
Jim Holden、Ryan Kubacki 著
Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)
The Slot Swing: The Proven Way to Hit Consistent and Powerful Shots Like the Pros
Jim McLean(吉姆·麦克莱恩) 著
Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)
Small Favor (The Dresden Files, Book 10) [Audio CD]
Jim Butcher 著
Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)
Last Mission
Jim Smith 著
Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)
The Circuit
Jiménez, Francisco
Specification and Proof in Real Time CSP (Distinguished Dissertations in Computer Science)
Men
Jim Harter 编