Tools

LEADER 01372cam a22004098a 4500

001 ocn758646788;

003 OCoLC;

005 20141212050425.0;

008 111021s2011 nju b 001 0 eng ;

010 a| 2011039611;

019 a| 759177311;

020 a| 9781848213203;

020 a| 1848213204;

035 a| (Sirsi) 99951592268;

035 a| 99951592268;

035 a| (OCoLC)758646788z| (OCoLC)759177311;

042 a| pcc;

050 00 a| QA76.76.T48b| S75 2011;

082 00 a| 005.1/42| 23;

245 00 a| Static analysis of software :b| the abstract interpretation /c| edited by Jean-Louis Boulanger.;

260 a| Hoboken, NJ :b| Wiley,c| 2011.;

263 a| 1110;

300 a| pages ;c| cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

504 a| Includes bibliographical references and index.;

650 0 a| Computer softwarex| Testing.=| ^A155860;

650 0 a| Debugging in computer science.=| ^A52525;

650 0 a| Computer softwarex| Quality control.=| ^A210050;

700 1 a| Boulanger, Jean-Louis.=| ^A1034805;

949 i| 30372013841702o| jjlm;

960 o| 1s| 165.00t| Joyner48u| JCSCz| USD;

596 a| 1;

998 a| 3242022;

999 a| QA76.76 .T48 S75 2011w| LCc| 1i| 30372013841702l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 2/26/2013x| BOOKz| JSTACKSo| .STAFF. jjlm;

Static analysis of software : the abstract interpretation / edited by Jean-Louis Boulanger.

Other author	Boulanger, Jean-Louis.
Format	Book
Publication Info	Hoboken, NJ : Wiley, 2011.
Description	pages ; cm.
Subjects	Computer software--Testing. Debugging in computer science. Computer software--Quality control.

Bibliography note	Includes bibliographical references and index.
LCCN	2011039611
ISBN	9781848213203
ISBN	1848213204

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.76 .T48 S75 2011	✔ Available	Place Hold

Click here for more information about this title