Tools

LEADER 01875cam 2200397 a 4500

001 ocm19515753;

005 20141212064512.0;

008 890321s1989 wb a b 000 0 eng ;

010 a| 89006216;

020 a| 038751080X (U.S. : alk. paper);

035 a| (Sirsi) o19515753;

035 a| (OCoLC)19515753;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.5b| .L523 1989;

082 00 a| 004/.352| 20;

245 00 a| Linear time, branching time, and partial order in logics and models for concurrency :b| School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988 /c| J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds.;

300 a| viii, 713 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| 354;

500 a| "Based on the School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, organized by the editors"-- Pref.;

504 a| Includes bibliographical references.;

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

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

700 1 a| Bakker, J. W. deq| (Jacobus Willem),d| 1939-=| ^A205513;

700 1 a| Roever, W.-P. de,d| 1943-=| ^A535040;

700 1 a| Rozenberg, Grzegorz.=| ^A83644;

711 2 a| School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrencyd| (1988 :c| Noordwijkerhout, Netherlands)=| ^A245397;

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

919 a| BOOK;

596 a| 1;

998 a| 346112;

999 a| QA76.5.L523 1989w| LCc| 1i| 30372005329476d| 2/8/2013f| 2/8/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 5/4/1990x| BOOKz| JSTACKSo| .STAFF. 0;

Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988 / J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds.

Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1989.
Description	viii, 713 pages : illustrations ; 25 cm.
Subjects	Parallel processing (Electronic computers) Computer programming--Distributed processing.

Other author/creator	Bakker, J. W. de (Jacobus Willem), 1939-
Other author/creator	Roever, W.-P. de, 1943-
Other author/creator	Rozenberg, Grzegorz.
Other author/creator	School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency (1988 : Noordwijkerhout, Netherlands)
Series	Lecture notes in computer science ; 354 Lecture notes in computer science 354. ^A466336
General note	"Based on the School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, organized by the editors"-- Pref.
Bibliography note	Includes bibliographical references.
LCCN	89006216
ISBN	038751080X (U.S. : alk. paper)

Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988 / J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds.

Click here for more information about this title