Tools

LEADER 01805cam a22004334a 4500

001 ocm49512834;

003 OCoLC;

005 20141212164154.0;

007 cr un---------;

008 020328s2002 gw a b 101 0 eng ;

010 a| 2002021846;

020 a| 3540436316 (softcover : alk. paper);

035 a| (Sirsi) o49512834;

035 a| (OCoLC)49512834;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.76.V47b| V53 2002;

082 00 a| 005.1/42| 21;

111 2 a| VMCAI 2002d| (2002 :c| Venice, Italy)=| ^A526006;

245 10 a| Verification, model checking, and abstract interpretation :b| third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers /c| Agostino Cortesi (ed.).;

246 30 a| VMCAI 2002;

300 a| viii, 330 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,x| 0302-9743 ;v| 2294.a| Lecture notes in artificial intelligence;

504 a| Includes bibliographical references and index.;

530 a| Also available via the World Wide Web.;

650 0 a| Computer programsx| Verificationv| Congresses.=| ^A118080;

700 1 a| Cortesi, Agostino,d| 1963-=| ^A441767;

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

830 0 a| Lecture notes in computer science.p| Lecture notes in artificial intelligence.=| ^A467263;

994 a| X0b| ERE;

938 a| Otto Harrassowitzb| HARRn| har025012022c| 47.08 DEM;

596 a| 1;

998 a| 891540;

999 a| QA76.76.V47 V53 2002w| LCc| 1i| 30372011579171d| 2/25/2013f| 2/25/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 11/1/2002x| BOOKz| JSTACKSo| .STAFF. 0;

Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers / Agostino Cortesi (ed.).

Author/creator	VMCAI 2002
Other author	Cortesi, Agostino, 1963-
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2002.
Description	viii, 330 pages : illustrations ; 24 cm.
Subjects	Computer programs--Verification. --Congresses.

Portion of title	VMCAI 2002
Series	Lecture notes in computer science, 0302-9743 ; 2294. Lecture notes in artificial intelligence Lecture notes in computer science 2294. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Bibliography note	Includes bibliographical references and index.
Other forms	Also available via the World Wide Web.
LCCN	2002021846
ISBN	3540436316 (softcover : alk. paper)

Availability

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

Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers / Agostino Cortesi (ed.).

Click here for more information about this title

Availability