Tools

LEADER 02296cam a2200577Ia 4500

001 ocm60846325;

003 OCoLC;

005 20141211183245.0;

007 cr un- ;

008 050708s2005 gw a 101 0 eng d;

010 a| 2005928168;

015 a| GBA5623012| bnb;

016 7 a| 9752310492| GyFmDB;

016 7 a| 0132531982| Uk;

020 a| 3540272313 (pbk.);

020 z| 9783540272 31 (pbk.);

020 a| 9783540272311;

035 a| (Sirsi) o60846325;

035 a| (OCoLC)60846325;

049 a| EREE;

050 4 a| QA76.76.V47b| C38 2005;

072 7 a| QA2| lcco;

082 04 a| 004.242| 22;

111 2 a| CAV (Conference)n| (17th :d| 2005 :c| Edinburgh, Scotland)?| UNAUTHORIZED;

245 10 a| Computer aided verification :b| 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings /c| Kousha Etessami, Sriram K. Rajamani (eds.).;

246 30 a| CAV 2005;

260 a| Berlin ;a| New York :b| Springer,c| 2005.;

300 a| xv, 564 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| computer2| rdamedia;

338 a| online resource2| rdacarrier;

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

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;

653 1 a| Computer aided verification;

653 1 a| CAV;

700 1 a| Etessami, Kousha.=| ^A605072;

700 1 a| Rajamani, Sriram K.,d| 1970-=| ^A539378;

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

856 41 u| http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3576z| Restricted to SpringerLink subscribers;

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har050078464c| 72.76 EUR;

980 a| 2005-09-14b| 95d| 0e| 90.25f| 669278;

596 a| 1;

998 a| 1009840;

999 a| QA76.76.V47 C38 2005w| LCc| 1i| 30372013437741d| 2/25/2013e| 8/8/2007f| 2/25/2013g| 1l| JGESm| JOYNERn| 1p| $90.25r| Ys| Yt| JGESBKu| 9/21/2005x| BOOKz| JSTACKSo| .STAFF. 0;

Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings / Kousha Etessami, Sriram K. Rajamani (eds.).

Author/creator	CAV (Conference)
Other author	Etessami, Kousha.
Other author	Rajamani, Sriram K., 1970-
Format	Electronic
Publication Info	Berlin ; New York : Springer, 2005.
Description	xv, 564 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	Computer software--Verification. --Congresses. Integrated circuits--Verification. --Congresses. Electronic digital computers--Evaluation. --Congresses.

Portion of title	CAV 2005
Series	Lecture notes in computer science ; 3576, 0302-9743 ; Lecture notes in computer science 3576. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
LCCN	2005928168
ISBN	3540272313 (pbk.)
ISBN	9783540272311

Availability

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

Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings / Kousha Etessami, Sriram K. Rajamani (eds.).

Click here for more information about this title

Availability