Tools

LEADER 01320cam a2200349 a 4500

001 ocm19323130;

005 20141212063150.0;

008 890207s1989 wb a b 000 0 eng ;

010 a| 89004329;

020 a| 0387508457 (U.S.) :c| DM42.00 (FRG);

035 a| (Sirsi) o19323130;

035 a| (OCoLC)19323130;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

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

082 0 a| 004/.352| 19;

100 1 a| Zwiers, J.q| (Job),d| 1956-=| ^A243327;

245 10 a| Compositionality, concurrency, and partial correctness :b| proof theories for networks of processes and their relationship /c| J. Zwiers.;

300 a| vi, 272 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| 321;

504 a| Bibliography: p. 266-272.;

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

650 0 a| Automatic theorem proving.=| ^A88007;

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

919 a| BOOK;

596 a| 1;

998 a| 343142;

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

Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship / J. Zwiers.

Author/creator	Zwiers, J., 1956-
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1989.
Description	vi, 272 pages : illustrations ; 25 cm.
Subjects	Parallel processing (Electronic computers) Automatic theorem proving.

Series	Lecture notes in computer science ; 321 Lecture notes in computer science 321. ^A466336
Bibliography note	Bibliography: p. 266-272.
LCCN	89004329
ISBN	0387508457 (U.S.) :

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.5.Z87 1989	✔ Available	Place Hold

Click here for more information about this title