* 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
標(biāo)簽： specification developed Explains language
上傳時(shí)間： 2016-04-27
上傳用戶：笨小孩
i think that is a good study for us,i hope we like it.thank you
標(biāo)簽： think study thank that
上傳時(shí)間： 2013-12-21
上傳用戶：hn891122
High Level assembly language(HLA)軟件
標(biāo)簽： assembly language Level High
上傳時(shí)間： 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.
標(biāo)簽： programming synthesis entirely language
上傳時(shí)間： 2014-08-29
上傳用戶：cylnpy
source code of C language, including PDF documents and source codes, welcome download and use:)
標(biāo)簽： source and including documents
上傳時(shí)間： 2016-05-10
上傳用戶：coeus
CAN bus test code use asmmeble language, this code can be used to communicate with canalyzer
標(biāo)簽： code communicate canalyzer asmmeble
上傳時(shí)間： 2016-05-13
上傳用戶：1427796291
The C++ Programming Language Special 3rd Edition學(xué)習(xí)C++必須資料
標(biāo)簽： Programming Language Edition Special
上傳時(shí)間： 2014-01-06
上傳用戶：鳳臨西北
answer of the c programming language second edition
標(biāo)簽： programming language edition answer
上傳時(shí)間： 2014-01-19
上傳用戶：shanml
Using LabVIEW 8.5 Language to control Tektronix AWG3102. This program can select output waveform, frequency and amplitude.
標(biāo)簽： Tektronix Language waveform LabVIEW
上傳時(shí)間： 2016-05-17
上傳用戶：xlcky
Using LabVIEW 8.5 Language to control Tektronix AWG520. This program can select gain, sample rate, frequency and offset.
標(biāo)簽： Tektronix Language LabVIEW control
上傳時(shí)間： 2013-11-26
上傳用戶：invtnewer
蟲(chóng)蟲(chóng)下載站版權(quán)所有 京ICP備2021023401號(hào)-1
