Tools

LEADER 01513cam a2200397 a 4500

001 ocm57541067;

003 OCoLC;

005 20141212182120.0;

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

008 050131s2005 gw a b 101 0 eng c;

010 a| 2004117275;

020 a| 354024297X (pbk.);

035 a| (Sirsi) o57541067;

035 a| (OCoLC)57541067;

042 a| pcc;

049 a| EREE;

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

111 2 a| VMCAI 2005d| (2005 :c| Paris, France)=| ^A596574;

245 10 a| Verification, model checking, and abstract interpretation :b| 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings /c| Radhia Cousot (ed.).;

246 30 a| VMCAI 2005;

300 a| xi, 481 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| 3385;

504 a| Includes bibliographical references and index.;

530 a| Also issued online.;

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

700 1 a| Cousot, Radhia.=| ^A385673;

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

994 a| C0b| ERE;

596 a| 1;

998 a| 995825;

999 a| QA76.76.V47 V53 2005w| LCc| 1i| 30372012744014d| 2/25/2013f| 2/25/2013g| 1l| JGESm| JOYNERp| $79.80r| Ys| Yt| JGESBKu| 4/25/2005x| BOOKz| JSTACKSo| .STAFF. 0;

Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings / Radhia Cousot (ed.).

Author/creator	VMCAI 2005
Other author	Cousot, Radhia.
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2005.
Description	xi, 481 pages : illustrations ; 24 cm.
Subjects	Computer programs--Verification. --Congresses.

Portion of title	VMCAI 2005
Series	Lecture notes in computer science ; 3385 Lecture notes in computer science 3385. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
LCCN	2004117275
ISBN	354024297X (pbk.)

Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings / Radhia Cousot (ed.).

Click here for more information about this title