Tools

LEADER 01532cam a2200373 a 4500

001 ocm27432830;

003 OCoLC;

005 20141212100736.0;

008 930126s1993 gw a 100 0 eng ;

010 a| 93009405;

020 a| 0387564969 (acid-free paper);

035 a| (Sirsi) o27432830;

035 a| (OCoLC)27432830;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.76.E93b| C38 1993;

082 00 a| 511.3/02852| 20;

111 2 a| CAV '92n| (4th :d| 1992 :c| Montréal, Québec)?| UNAUTHORIZED;

245 10 a| Computer aided verification :b| fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings /c| G. v. Bochmann, D.K. Probst, eds.;

300 a| ix, 422 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 663;

504 a| Includes bibliographical references.;

650 0 a| Computer softwarex| Verificationv| Congresses.=| ^A1146757;

650 0 a| Electronic digital computersx| Evaluationv| Congresses.=| ^A461444;

700 1 a| Bochmann, Gregor von,d| 1941-=| ^A145603;

700 1 a| Probst, D. K.q| (David Karl),d| 1945-=| ^A318481;

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

596 a| 1;

998 a| 474990;

999 a| QA76.76.E93 C38 1993w| LCc| 1i| 30372007538132d| 2/20/2013f| 2/20/2013g| 2l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 9/17/1993x| BOOKz| JSTACKSo| .STAFF. 0;

Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings / G. v. Bochmann, D.K. Probst, eds.

Author/creator	CAV '92
Other author	Bochmann, Gregor von, 1941-
Other author	Probst, D. K. (David Karl), 1945-
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1993.
Description	ix, 422 pages : illustrations ; 24 cm.
Subjects	Computer software--Verification. --Congresses. Electronic digital computers--Evaluation. --Congresses.

Series	Lecture notes in computer science ; 663 Lecture notes in computer science 663. ^A466336
Bibliography note	Includes bibliographical references.
LCCN	93009405
ISBN	0387564969 (acid-free paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.76.E93 C38 1993	✔ Available	Place Hold

Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings / G. v. Bochmann, D.K. Probst, eds.

Click here for more information about this title

Availability