Tools

LEADER 01282cam a2200337Ia 4500

001 ocm22521954;

005 20141212082802.0;

008 901016s1990 enka b 001 0 eng d;

020 a| 0521400287;

035 a| (Sirsi) o22521954;

035 a| (OCoLC)24718516;

040 a| MBBc| MBBd| EREd| UtOrBLW;

049 a| EREE;

090 a| QA76.9.M35b| A6x 1990;

245 00 a| Applications of process algebra /c| edited by J.C.M. Baeten.;

260 a| Cambridge, [England] ;a| New York :b| Cambridge University Press,c| 1990.;

300 a| ix, 317 pages :b| illustrations ;c| 26 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Cambridge tracts in theoretical computer science ;v| v. 17;

504 a| Includes bibliographical references and indexes.;

650 0 a| Computer sciencex| Mathematics.=| ^A236643;

650 0 a| Computer network protocols.=| ^A167251;

650 0 a| Axiomatic set theory.=| ^A21582;

700 1 a| Baeten, J. C. M.=| ^A269328;

830 0 a| Cambridge tracts in theoretical computer science ;v| v. 17.=| ^A221007;

919 a| BOOK;

596 a| 1;

998 a| 386959;

999 a| QA76.9.M35 A6X 1990w| LCc| 1i| 30372005821464d| 8/28/1994e| 3/27/1994l| JGESm| JOYNERn| 1r| Ys| Yt| JGESBKu| 6/7/1991x| BOOKz| JSTACKSo| .STAFF. 0;

Applications of process algebra / edited by J.C.M. Baeten.

Other author	Baeten, J. C. M.
Format	Book
Publication Info	Cambridge, [England] ; New York : Cambridge University Press, 1990.
Description	ix, 317 pages : illustrations ; 26 cm.
Subjects	Computer science--Mathematics. Computer network protocols. Axiomatic set theory.

Series	Cambridge tracts in theoretical computer science ; v. 17 Cambridge tracts in theoretical computer science ; v. 17. ^A221007
Bibliography note	Includes bibliographical references and indexes.
ISBN	0521400287

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.M35 A6X 1990	✔ Available	Place Hold

Applications of process algebra / edited by J.C.M. Baeten.

Click here for more information about this title

Availability