Tools

LEADER 01374cam 2200373 a 4500

001 ocm20170933;

005 20141212074628.0;

008 890724s1989 wb a b 001 0 eng ;

010 a| 89021604;

020 a| 0387515259 (U.S.);

035 a| (Sirsi) o20170933;

035 a| (OCoLC)20170933;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.9.D5b| T39 1989;

082 00 a| 004/.362| 20;

100 1 a| Taubner, Dirk,d| 1959-=| ^A250105;

245 10 a| Finite representations of CCS and TCSP programs by automata and Petri nets /c| Dirk Taubner.;

300 a| x, 168 pages :b| illustrations ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 369;

500 a| Includes index.;

504 a| Includes bibliographical references (p. [159]-164).;

650 0 a| Computer programmingx| Distributed processing.=| ^A33242;

650 0 a| Petri nets.=| ^A127975;

650 0 a| Programming languages (Electronic computers)=| ^A22846;

830 0 a| Lecture notes in computer sciencev| 369.=| ^A466336;

919 a| BOOK;

596 a| 1;

998 a| 354052;

999 a| QA76.9.D5 T39 1989w| LCc| 1i| 30372005453128d| 3/7/2013f| 3/7/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 7/12/1990x| BOOKz| JSTACKSo| .STAFF. 0;

Finite representations of CCS and TCSP programs by automata and Petri nets / Dirk Taubner.

Author/creator	Taubner, Dirk, 1959-
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1989.
Description	x, 168 pages : illustrations ; 25 cm.
Subjects	Computer programming--Distributed processing. Petri nets. Programming languages (Electronic computers)

Series	Lecture notes in computer science ; 369 Lecture notes in computer science 369. ^A466336
General note	Includes index.
Bibliography note	Includes bibliographical references (p. [159]-164).
LCCN	89021604
ISBN	0387515259 (U.S.)

Finite representations of CCS and TCSP programs by automata and Petri nets / Dirk Taubner.

Click here for more information about this title