* Explains process algebra and protocol specification using µ CRL, a language developed to combine process algebra and abstract data types * Text is supported throughout with examples and exercises * Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author s website
资源简介:* Explains process algebra and protocol specification using µ CRL, a language developed to combine process algebra and abstract data types * Text is supported throughout with examples and exercises * Full solutions are provided in a...
上传时间: 2016-04-27
上传用户:笨小孩
资源简介:perfect gcc book for using system and tutorial , youcan using it as a good book to learing
上传时间: 2013-11-25
上传用户:ecooo
资源简介:John.Wiley.and.Sons.You.Can.Do.It.A.Beginners.Introduction.to.Computer.Programming.eBook-DDU
上传时间: 2014-01-06
上传用户:firstbyte
资源简介:this what i am using.it is a good book to learn the basics of java
上传时间: 2015-08-13
上传用户:rocwangdp
资源简介:[2005最新C++经典著作].John.Wiley.and.Sons.You.Can.Do.It.A.Beginners.Introduction.to.Computer.Programming.eBook-DDU
上传时间: 2013-12-17
上传用户:源弋弋
资源简介:ECHNICAL COMMITTEE No. 65: INDUSTRIAL-PROCESS MEASUREMENT AND CONTROL WORKING GROUP 6 VOTING DRAFT - PUBLICLY AVAILABLE SPECIFICATION - FUNCTION BLOCKS FOR INDUSTRIAL-PROCESS MEASUREMENT AND CONTROL SYSTEMS
上传时间: 2014-10-28
上传用户:源弋弋
资源简介:ECHNICAL COMMITTEE No. 65: INDUSTRIAL-PROCESS MEASUREMENT AND CONTROL WORKING GROUP 6 VOTING DRAFT - PUBLICLY AVAILABLE SPECIFICATION - FUNCTION BLOCKS FOR INDUSTRIAL-PROCESS MEASUREMENT AND CONTROL SYSTEMS
上传时间: 2015-02-11
上传用户:baiom
资源简介:ECHNICAL COMMITTEE No. 65: INDUSTRIAL-PROCESS MEASUREMENT AND CONTROL WORKING GROUP 6 VOTING DRAFT - PUBLICLY AVAILABLE SPECIFICATION - FUNCTION BLOCKS FOR INDUSTRIAL-PROCESS MEASUREMENT AND CONTROL SYSTEMS
上传时间: 2013-12-27
上传用户:frank1234
资源简介:Works a client and a server using UDP in asynchronous operation mode to implement the simple daytime protocol, as described in RFC 867
上传时间: 2015-02-15
上传用户:秦莞尔w
资源简介:研祥集团pc104
上传时间: 2013-07-13
上传用户:eeworm