Tools

LEADER 01578cam a22003858a 4500

001 ocm25369117;

005 20141212091434.0;

008 920205s1992 gw a b 100 0 eng ;

010 a| 92007811;

020 a| 3540551794 (Berlin : acid-free paper);

020 a| 0387551794 (New York : acid-free paper);

035 a| (Sirsi) o25369117;

035 a| (OCoLC)25369117;

049 a| EREE;

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

082 00 a| 511.3/02852| 20;

111 2 a| CAV '91n| (3rd :d| 1991 :c| Ålborg, Denmark)?| UNAUTHORIZED;

245 10 a| Computer aided verification :b| 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings /c| K.G. Larsen, A. Skou (eds.).;

260 a| Berlin ;a| New York :b| Springer-Verlag,c| 1992.;

300 a| x, 487 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| 575;

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| Larsen, K. G.q| (Kim G.),d| 1957-=| ^A292260;

700 1 a| Skou, A.q| (Arne),d| 1948-=| ^A292261;

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

919 a| BOOK;

596 a| 1;

998 a| 428453;

999 a| QA76.76.E93 C38 1992w| LCc| 1i| 30372006469362d| 2/20/2013f| 2/20/2013g| 2l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 8/12/1992x| BOOKz| JSTACKSo| .STAFF. 0;

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings / K.G. Larsen, A. Skou (eds.).

Author/creator	CAV '91
Other author	Larsen, K. G. (Kim G.), 1957-
Other author	Skou, A. (Arne), 1948-
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, 1992.
Description	x, 487 pages : illustrations ; 24 cm.
Subjects	Computer software--Verification. --Congresses. Electronic digital computers--Evaluation. --Congresses.

Series	Lecture notes in computer science ; 575 Lecture notes in computer science 575. ^A466336
Bibliography note	Includes bibliographical references.
LCCN	92007811
ISBN	3540551794 (Berlin : acid-free paper)
ISBN	0387551794 (New York : acid-free paper)

Availability

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

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings / K.G. Larsen, A. Skou (eds.).

Click here for more information about this title

Availability