Tools

LEADER 03604cam a2200745 a 4500

001 ocm37270854;

003 OCoLC;

005 20260127093930.0;

008 970710s1997 gw a b 101 0 fre d;

015 a| GB97489672| bnb;

019 a| 37330233a| 960151968a| 1167514005;

020 a| 3540631666q| (paperback);

020 a| 9783540631668q| (paperback);

029 1 a| CHRROb| R218406960;

029 1 a| DEBSZb| 059593970;

029 1 a| NLGGCb| 159439159;

029 1 a| NZ1b| 4770966;

029 1 a| OHXb| har005003178;

029 1 a| ZWZb| 031545750;

035 a| (Sirsi) o37270854;

035 a| (OCoLC)37270854z| (OCoLC)37330233z| (OCoLC)960151968z| (OCoLC)1167514005;

049 a| EREE;

050 14 a| QA76.76.V47b| C38 1997;

072 7 a| QA2| lcco;

082 04 a| 004.240151132| 21;

084 a| 54.522| bcl;

111 2 a| CAV (Conference)n| (9th :d| 1997 :c| Haifa, Israel)?| UNAUTHORIZED;

245 10 a| Computer aided verification :b| 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings /c| Orna Grumberg (ed.).;

246 30 a| CAV '97;

300 a| xi, 486 pages :b| illustrations ;c| 24 cm.;

336 a| textb| txt2| rdacontent;

337 a| unmediatedb| n2| rdamedia;

338 a| volumeb| nc2| rdacarrier;

490 1 a| Lecture notes in computer science,x| 0302-9743 ;v| 1254;

504 a| Includes bibliographical references and index.;

530 a| Also issued online.;

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

650 0 a| Integrated circuitsx| Verificationv| Congresses.=| ^A413570;

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

650 7 a| Computer softwarex| Verification.2| fast0| (OCoLC)fst00872604;

650 7 a| Electronic digital computersx| Evaluation.2| fast0| (OCoLC)fst00907149;

650 7 a| Integrated circuitsx| Verification.2| fast0| (OCoLC)fst00975600;

650 17 a| Verificatie.2| gtt;

650 17 a| Software.2| gtt;

650 7 a| Ingénierie assistée par ordinateurx| Congrès.2| ram;

650 7 a| Conception assistée par ordinateurx| Congrès.2| ram;

650 17 a| Vérification de logiciels.2| rasuqam;

650 17 a| Vérification formelle.2| rasuqam;

650 7 a| système informatiquex| vérificationv| congrès.2| rero;

655 7 a| Conference papers and proceedings.2| fast0| (OCoLC)fst01423772;

700 1 a| Grumberg, Orna.=| ^A396883;

758 i| has work:a| Computer aided verification (Text)1| https://id.oclc.org/worldcat/entity/E39PCYTPCvrfvpvXVCCtRXbkMq4| https://id.oclc.org/worldcat/ontology/hasWork;

830 0 a| Lecture notes in computer science ;v| 1254.=| ^A466336;

856 41 3| SpringerLinku| https://doi.org/10.1007/3-540-63166-6;

856 41 3| SpringerLinku| http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=1254;

856 41 u| http://link.springer.com/10.1007/3-540-63166-6z| eBook available for UOIT via SpringerLink. Click link to access;

856 4 3| Coveru| http://swbplus.bsz-bw.de/bsz059593970cov.htmv| 20150910142412;

938 a| Baker & Taylorb| BKTYc| 99.00d| 99.00i| 3540631666n| 0003082035s| active;

938 a| Otto Harrassowitzb| HARRn| har005003178;

994 a| C0b| ERE;

596 a| 1;

998 a| 626688;

999 a| QA76.76.V47 C38 1997w| LCc| 1i| 30372009726131d| 2/25/2013f| 2/25/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 3/5/1998x| BOOKz| JSTACKSo| .STAFF. 0;

Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings / Orna Grumberg (ed.).

Author/creator	CAV (Conference)
Other author	Grumberg, Orna.
Format	Book
Publication Info	Berlin ; New York ; Heidelberg : Springer, ©1997.
Description	xi, 486 pages : illustrations ; 24 cm.
Supplemental Content	SpringerLink
Supplemental Content	SpringerLink
Supplemental Content	eBook available for UOIT via SpringerLink. Click link to access
Supplemental Content	Cover
Subjects	Computer software--Verification. --Congresses. Integrated circuits--Verification. --Congresses. Electronic digital computers--Evaluation. --Congresses.

Portion of title	CAV '97
Series	Lecture notes in computer science, 0302-9743 ; 1254 Lecture notes in computer science ; 1254. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
Genre/form	Conference papers and proceedings.
ISBN	3540631666 (paperback)
ISBN	9783540631668 (paperback)

Availability

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

Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings / Orna Grumberg (ed.).

Click here for more information about this title

Availability