* 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
資源簡介: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