Tools

LEADER 01836cam 22004334a 4500

001 ocm54400193;

003 OCoLC;

005 20141212174437.0;

008 040203s2004 gw a b 101 0 eng ;

010 a| 2004043677;

020 a| 3540208038 (alk. paper);

035 a| (Sirsi) o54400193;

035 a| (OCoLC)54400193;

040 a| DLCc| DLCd| YDXd| UtOrBLW;

042 a| pcc;

049 a| EREE;

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

082 00 a| 005.1/42| 22;

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

245 10 a| Verification, model checking, and abstract interpretation :b| 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings /c| Bernhard Steffen, Giorgio Levi (eds).;

300 a| xi, 324 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| 2937;

500 a| Held in conjunction with POPL 2004, the 31st annual Symposium on Principles of Programming Languages, Jan. 14-16, 2004--Pref.;

504 a| Includes bibliographical references and index.;

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

700 1 a| Steffen, Bernhard.=| ^A381039;

700 1 a| Levi, G.q| (Giorgio),d| 1942-=| ^A234263;

711 2 a| ACM Symposium on Principles of Programming Languagesn| (31st :d| 2004 :c| Venice, Italy)?| UNAUTHORIZED;

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

994 a| X0b| ERE;

910 a| PromptCat;

980 a| 2004-03-10b| 58d| 3.86e| 55.1f| 353318;

596 a| 1;

998 a| 954808;

999 a| QA76.76.V47 V53 2004w| LCc| 1i| 30372012253057d| 2/25/2013f| 2/25/2013g| 1l| JGESm| JOYNERp| $55.10r| Ys| Yt| JGESBKu| 3/24/2004x| BOOKz| JSTACKSo| .STAFF. 0;

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings / Bernhard Steffen, Giorgio Levi (eds).

Author/creator	VMCAI 2004
Other author	Steffen, Bernhard.
Other author	Levi, G. (Giorgio), 1942-
Other author	ACM Symposium on Principles of Programming Languages 2004 : Venice, Italy)
Format	Book
Publication Info	Berlin ; New York : Springer, ©2004.
Description	xi, 324 pages : illustrations ; 24 cm.
Subjects	Computer programs--Verification. --Congresses.

Series	Lecture notes in computer science ; 2937 Lecture notes in computer science 2937. ^A466336
General note	Held in conjunction with POPL 2004, the 31st annual Symposium on Principles of Programming Languages, Jan. 14-16, 2004--Pref.
Bibliography note	Includes bibliographical references and index.
LCCN	2004043677
ISBN	3540208038 (alk. paper)

Availability

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

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings / Bernhard Steffen, Giorgio Levi (eds).

Click here for more information about this title

Availability