Tools

LEADER 01476cam 22003618a 4500

001 ocm21377139;

005 20141212081903.0;

008 900328s1990 wb a 100 0 eng ;

010 a| 90009723;

020 a| 0387525599 (U.S.);

035 a| (Sirsi) o21377139;

035 a| (OCoLC)21377139;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.9.D5b| S75 1990;

082 00 a| 004/.362| 20;

245 00 a| Stepwise refinement of distributed systems :b| models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings /c| J.W. de Bakker, W.-P. de Roever, G. Rozenberg, (eds.).;

300 a| x, 808 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| 430;

504 a| Includes bibliographical references and index.;

650 0 a| Computer programmingx| Distributed processingv| Congresses.=| ^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;

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

919 a| BOOK;

596 a| 1;

998 a| 377621;

999 a| QA76.9.D5 S75 1990w| LCc| 1i| 30372005686172d| 3/7/2013f| 3/7/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 2/20/1991x| BOOKz| JSTACKSo| .STAFF. 0;

Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg, (eds.).

Other author	Bakker, J. W. de (Jacobus Willem), 1939-
Other author	Roever, W.-P. de, 1943-
Other author	Rozenberg, Grzegorz.
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1990.
Description	x, 808 pages : illustrations ; 25 cm.
Subjects	Computer programming--Distributed processing. --Congresses.

Series	Lecture notes in computer science ; 430 Lecture notes in computer science 430. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	90009723
ISBN	0387525599 (U.S.)

Availability

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

Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg, (eds.).

Click here for more information about this title

Availability