* 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
标签: specification developed Explains language
上传时间: 2016-04-27
上传用户:笨小孩
i think that is a good study for us,i hope we like it.thank you
上传时间: 2013-12-21
上传用户:hn891122
High Level assembly language(HLA)软件
标签: assembly language Level High
上传时间: 2014-01-23
上传用户:yzhl1988
FreeTTS is a speech synthesis system written entirely in the Java programming language. It is based upon Flite, a small, fast, run-time speech synthesis engine, which in turn is based upon University of Edinburgh s Festival Speech Synthesis System and Carnegie Mellon University s FestVox project.
标签: programming synthesis entirely language
上传时间: 2014-08-29
上传用户:cylnpy
source code of C language, including PDF documents and source codes, welcome download and use:)
标签: source and including documents
上传时间: 2016-05-10
上传用户:coeus
CAN bus test code use asmmeble language, this code can be used to communicate with canalyzer
标签: code communicate canalyzer asmmeble
上传时间: 2016-05-13
上传用户:1427796291
The C++ Programming Language Special 3rd Edition学习C++必须资料
标签: Programming Language Edition Special
上传时间: 2014-01-06
上传用户:凤临西北
answer of the c programming language second edition
标签: programming language edition answer
上传时间: 2014-01-19
上传用户:shanml
Using LabVIEW 8.5 Language to control Tektronix AWG3102. This program can select output waveform, frequency and amplitude.
标签: Tektronix Language waveform LabVIEW
上传时间: 2016-05-17
上传用户:xlcky
Using LabVIEW 8.5 Language to control Tektronix AWG520. This program can select gain, sample rate, frequency and offset.
标签: Tektronix Language LabVIEW control
上传时间: 2013-11-26
上传用户:invtnewer