Tools

LEADER 01341cam 2200361 a 4500

001 ocm25509382;

003 OCoLC;

005 20141212095523.0;

008 920226s1992 gw a b 001 0 eng ;

010 a| 92007430;

020 a| 0387552049 (U.S.);

035 a| (Sirsi) o25509382;

035 a| (OCoLC)25509382;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.58b| .J36 1992;

082 00 a| 005.1/22| 20;

100 1 a| Janicki, Ryszard.=| ^A309190;

245 10 a| Specification and analysis of concurrent systems :b| the COSY approach /c| Ryszard Janicki, Peter E. Lauer.;

300 a| xii, 480 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| EATCS monographs on theoretical computer science ;v| v. 26;

504 a| Includes bibliographical references and index.;

650 0 a| Parallel processing (Electronic computers)=| ^A123911;

700 1 a| Lauer, Peter E.,d| 1934-=| ^A309191;

830 0 a| EATCS monographs on theoretical computer science ;v| v. 26.=| ^A201854;

919 a| BOOK;

596 a| 1;

998 a| 464183;

999 a| QA76.58.J36 1992w| LCc| 1i| 30372007033738d| 2/12/2013f| 2/12/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 6/1/1993x| BOOKz| JSTACKSo| .STAFF. 0;

Specification and analysis of concurrent systems : the COSY approach / Ryszard Janicki, Peter E. Lauer.

Author/creator	Janicki, Ryszard
Other author	Lauer, Peter E., 1934-
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1992.
Description	xii, 480 pages : illustrations ; 24 cm.
Subjects	Parallel processing (Electronic computers)

Series	EATCS monographs on theoretical computer science ; v. 26 EATCS monographs on theoretical computer science ; v. 26. ^A201854
Bibliography note	Includes bibliographical references and index.
LCCN	92007430
ISBN	0387552049 (U.S.)

Specification and analysis of concurrent systems : the COSY approach / Ryszard Janicki, Peter E. Lauer.

Click here for more information about this title