Tools

LEADER 01702cam a2200481 a 4500

001 ocn741354892;

003 OCoLC;

005 20141212081017.0;

008 110711s2012 maua b 001 0 eng ;

010 a| 2011024317;

020 a| 9780262017152 (hardcover : alk. paper);

020 a| 0262017156 (hardcover : alk. paper);

029 1 a| DEBBGb| BV039875711;

029 1 a| AU@b| 000047379015;

035 a| (Sirsi) 99947342504;

035 a| (OCoLC)741354892;

035 a| 99947342504;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.76.D47b| J29 2012;

082 00 a| 005.12| 23;

084 a| ST 2302| rvk;

100 1 a| Jackson, Daniel,d| 1963-=| ^A1082134;

245 10 a| Software abstractions :b| logic, language, and analysis /c| Daniel Jackson.;

250 a| Rev. ed.;

300 a| xviii, 354 pages :b| illustrations ;c| 24 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| Development.=| ^A210127;

938 a| YBP Library Servicesb| YANKn| 7212370;

938 a| Coutts Information Servicesb| COUTn| 18200949;

938 a| Blackwell Book Serviceb| BBUSn| 7212370;

938 a| Brodartb| BRODn| 100200265c| $40.00;

949 a| QA76.76.D47 J29 2012h| Joyner48i| 30372013857856o| jjlm;

910 a| PromptCat;

994 a| 92b| ERE;

596 a| 1;

998 a| 2703416;

999 a| QA76.76.D47 J29 2012w| LCc| 1i| 30372013857856d| 9/7/2017e| 3/11/2017f| 2/20/2013g| 2l| JGESm| JOYNERn| 6r| Ys| Yt| JGESBKu| 4/5/2012x| BOOKz| JSTACKSo| .STAFF. jjlm;

Software abstractions : logic, language, and analysis / Daniel Jackson.

Author/creator	Jackson, Daniel, 1963-
Format	Book
Edition	Rev. ed.
Publication Info	Cambridge, Mass. : MIT Press, ©2012.
Description	xviii, 354 pages : illustrations ; 24 cm
Subjects	Computer software--Development.

Bibliography note	Includes bibliographical references and index.
LCCN	2011024317
ISBN	9780262017152 (hardcover : alk. paper)
ISBN	0262017156 (hardcover : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.76.D47 J29 2012	✔ Available	Place Hold

Software abstractions : logic, language, and analysis / Daniel Jackson.

Click here for more information about this title

Availability