* 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
资源简介:vs.lib is a math library in C++ with a set of linear algebra and integrable / differentiable objects. vs.lib is a rapid-proto-typing tool which makes programming in numerical applications as easy as writing mathematical expressions.
上传时间: 2015-03-03
上传用户:PresidentHuang
资源简介:RFC1050---Remote Procedure Call Protocol specification
上传时间: 2014-02-26
上传用户:小码农lz
资源简介:RPC: Remote Procedure Call Protocol specification Version 2
上传时间: 2014-01-02
上传用户:三人用菜
资源简介:PCCTS这个经典词法语法分析器的使用手册。学习编译原理必须。 A language Translation Using PCCTS and C
上传时间: 2015-03-24
上传用户:liglechongchong
资源简介:NFS version 3 protocol specification
上传时间: 2015-03-30
上传用户:wff
资源简介:MODBUS Application Protocol specification
上传时间: 2013-12-21
上传用户:silenthink
资源简介:Original ipmsg protocol specification is written in Japanese. This document was translated by Mr.Kanazawa.
上传时间: 2015-06-29
上传用户:anng
资源简介:CMCRC.ASM is a simple program just to demonstrate how to compute the CRC-16 and CRC-32 using the crc16_table and crc32_table that were generated by CRCTABLE.
上传时间: 2014-01-24
上传用户:agent
资源简介:restart and close computer using delphi
上传时间: 2013-12-20
上传用户:lizhen9880
资源简介:Using a holistic approach to teaching developers the ins-and-outs of GNU/Linux programming using APIs, tools, communication, and scripting, this book introduces programmers to the environment from the lowest layers to the user layers.
上传时间: 2013-12-23
上传用户:kristycreasy
资源简介:Introduction to Process Improvement and theCapability Maturity Model (CMM)软件CMM认证的介绍
上传时间: 2015-09-02
上传用户:wlcaption
资源简介:CF+ and CompactFlash specification Revision 3.0 Use of this specification for product design requires an executed license agreement from the CompactFlash Association.
上传时间: 2013-12-31
上传用户:Pzj
资源简介:Chapman - Advanced Mathematics and Mechanics Applications Using MATLAB, 3rd Ed - 2003
上传时间: 2015-11-19
上传用户:onewq
资源简介:802.16 protocol specification
上传时间: 2015-12-26
上传用户:wcl168881111111
资源简介:SIMULATION OF ELECTRIC MACHINE AND DRIVE SYSTEMS USING matlab and simulink
上传时间: 2016-01-04
上传用户:hphh
资源简介:This m-file simulates MPSK (BPSK,QPSK,8PSK)with theoretical and simulated results using Gray coding. Numerical examples of a satellite link design are shown using QPSK and/or 8PSK when the bit rate(Rb)is greater than the channel bandwidth W...
上传时间: 2016-01-19
上传用户:pompey
资源简介:Short Message Peer-to-Peer Protocol specification
上传时间: 2014-06-08
上传用户:大融融rr
资源简介:Analog and Mixed-Signal Modeling Using the VHDL-AMS language
上传时间: 2016-04-13
上传用户:ZJX5201314
资源简介:GPS and Web Service using C++ ATLWTL 源代码
上传时间: 2014-01-09
上传用户:小码农lz
资源简介:Digital Signal and Image Processing Using MATLAB The most important theoretical aspects of image and signal processing (ISP) for both deterministic and random signals are covered in this guide to using MATLAB® . The discussion is also ...
上传时间: 2016-07-08
上传用户:z1191176801
资源简介:《MODBUS Application Protocol specification》详细讲述MODBUS协议相关内容
上传时间: 2013-12-12
上传用户:cxl274287265