Tools

LEADER 01693cam a22004214a 4500

001 ocm46319659;

003 OCoLC;

005 20141212165924.0;

008 010216s2001 enka b 001 0 eng ;

010 a| 2001022303;

015 a| GBA1-65769;

019 a| 48418445;

020 a| 0521806089;

035 a| (Sirsi) o46319659;

035 a| (OCoLC)46319659;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.58b| .C6643 2001;

082 00 a| 004/.352| 21;

245 00 a| Concurrency verification :b| introduction to compositional and noncompositional methods /c| Willem-Paul de Roever [and others].;

260 a| Cambridge, UK ;a| New York, NY, USA :b| Cambridge University Press,c| 2001.;

300 a| xxii, 776 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

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

504 a| Includes bibliographical references (p. 710-746) and index.;

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

650 0 a| Computer softwarex| Verification.=| ^A277748;

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

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

856 42 3| Publisher descriptionu| http://www.loc.gov/catdir/description/cam021/2001022303.html;

856 41 3| Table of contentsu| http://www.loc.gov/catdir/toc/cam027/2001022303.html;

994 a| X0b| ERE;

596 a| 1;

998 a| 904564;

999 a| QA76.58 .C6643 2001w| LCc| 1i| 30372011446785d| 2/12/2013f| 2/12/2013g| 1l| JGESm| JOYNERp| $120.00r| Ys| Yt| JGESBKu| 1/10/2003x| BOOKz| JSTACKSo| .STAFF. 0;

Concurrency verification : introduction to compositional and noncompositional methods / Willem-Paul de Roever [and others].

Other author	Roever, W.-P. de, 1943-
Format	Book
Publication Info	Cambridge, UK ; New York, NY, USA : Cambridge University Press, 2001.
Description	xxii, 776 pages : illustrations ; 24 cm.
Supplemental Content	Publisher description
Supplemental Content	Table of contents
Subjects	Parallel processing (Electronic computers) Computer software--Verification.

Series	Cambridge tracts in theoretical computer science ; 54 Cambridge tracts in theoretical computer science ; 54. ^A221007
Bibliography note	Includes bibliographical references (p. 710-746) and index.
LCCN	2001022303
ISBN	0521806089

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.58 .C6643 2001	✔ Available	Place Hold

Concurrency verification : introduction to compositional and noncompositional methods / Willem-Paul de Roever [and others].

Click here for more information about this title

Availability