* 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
資源簡(jiǎn)介：* 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...
上傳時(shí)間： 2016-04-27
上傳用戶：笨小孩
資源簡(jiǎn)介：perfect gcc book for using system and tutorial , youcan using it as a good book to learing
上傳時(shí)間： 2013-11-25
上傳用戶：ecooo
資源簡(jiǎn)介：John.Wiley.and.Sons.You.Can.Do.It.A.Beginners.Introduction.to.Computer.Programming.eBook-DDU
上傳時(shí)間： 2014-01-06
上傳用戶：firstbyte
資源簡(jiǎn)介：this what i am using.it is a good book to learn the basics of java
上傳時(shí)間： 2015-08-13
上傳用戶：rocwangdp
資源簡(jiǎn)介：[2005最新C++經(jīng)典著作].John.Wiley.and.Sons.You.Can.Do.It.A.Beginners.Introduction.to.Computer.Programming.eBook-DDU
上傳時(shí)間： 2013-12-17
上傳用戶：源弋弋
資源簡(jiǎn)介：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
上傳時(shí)間： 2014-10-28
上傳用戶：源弋弋
資源簡(jiǎn)介：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
上傳時(shí)間： 2015-02-11
上傳用戶：baiom
資源簡(jiǎn)介：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
上傳時(shí)間： 2013-12-27
上傳用戶：frank1234
資源簡(jiǎn)介：Works a client and a server using UDP in asynchronous operation mode to implement the simple daytime protocol, as described in RFC 867
上傳時(shí)間： 2015-02-15
上傳用戶：秦莞爾w
資源簡(jiǎn)介：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.
上傳時(shí)間： 2015-03-03
上傳用戶：PresidentHuang
資源簡(jiǎn)介：RFC1050---Remote Procedure Call Protocol specification
上傳時(shí)間： 2014-02-26
上傳用戶：小碼農(nóng)lz
資源簡(jiǎn)介：RPC: Remote Procedure Call Protocol specification Version 2
上傳時(shí)間： 2014-01-02
上傳用戶：三人用菜
資源簡(jiǎn)介：PCCTS這個(gè)經(jīng)典詞法語(yǔ)法分析器的使用手冊(cè)。學(xué)習(xí)編譯原理必須。 A language Translation Using PCCTS and C
上傳時(shí)間： 2015-03-24
上傳用戶：liglechongchong
資源簡(jiǎn)介：NFS version 3 protocol specification
上傳時(shí)間： 2015-03-30
上傳用戶：wff
資源簡(jiǎn)介：MODBUS Application Protocol specification
上傳時(shí)間： 2013-12-21
上傳用戶：silenthink
資源簡(jiǎn)介：Original ipmsg protocol specification is written in Japanese. This document was translated by Mr.Kanazawa.
上傳時(shí)間： 2015-06-29
上傳用戶：anng
資源簡(jiǎn)介：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.
上傳時(shí)間： 2014-01-24
上傳用戶：agent
資源簡(jiǎn)介：restart and close computer using delphi
上傳時(shí)間： 2013-12-20
上傳用戶：lizhen9880
資源簡(jiǎn)介：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.
上傳時(shí)間： 2013-12-23
上傳用戶：kristycreasy
資源簡(jiǎn)介：Introduction to Process Improvement and the Capability Maturity Model (CMM)軟件CMM認(rèn)證的介紹
上傳時(shí)間： 2015-09-02
上傳用戶：wlcaption
資源簡(jiǎn)介：CF+ and CompactFlash specification Revision 3.0 Use of this specification for product design requires an executed license agreement from the CompactFlash Association.
上傳時(shí)間： 2013-12-31
上傳用戶：Pzj
資源簡(jiǎn)介：Chapman - Advanced Mathematics and Mechanics Applications Using MATLAB, 3rd Ed - 2003
上傳時(shí)間： 2015-11-19
上傳用戶：onewq
資源簡(jiǎn)介：802.16 protocol specification
上傳時(shí)間： 2015-12-26
上傳用戶：wcl168881111111
資源簡(jiǎn)介：SIMULATION OF ELECTRIC MACHINE AND DRIVE SYSTEMS USING matlab and simulink
上傳時(shí)間： 2016-01-04
上傳用戶：hphh
資源簡(jiǎn)介：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...
上傳時(shí)間： 2016-01-19
上傳用戶：pompey
資源簡(jiǎn)介：Short Message Peer-to-Peer Protocol specification
上傳時(shí)間： 2014-06-08
上傳用戶：大融融rr
資源簡(jiǎn)介：Analog and Mixed-Signal Modeling Using the VHDL-AMS language
上傳時(shí)間： 2016-04-13
上傳用戶：ZJX5201314
資源簡(jiǎn)介：GPS and Web Service using C++ ATLWTL 源代碼
上傳時(shí)間： 2014-01-09
上傳用戶：小碼農(nóng)lz
資源簡(jiǎn)介：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 ...
上傳時(shí)間： 2016-07-08
上傳用戶：z1191176801
資源簡(jiǎn)介：《MODBUS Application Protocol specification》詳細(xì)講述MODBUS協(xié)議相關(guān)內(nèi)容
上傳時(shí)間： 2013-12-12
上傳用戶：cxl274287265
