Tools

LEADER 01570cam a2200397Ia 4500

001 ocm55808039;

003 OCoLC;

005 20141212175622.0;

008 040702s2004 gw a b 101 0 eng d;

020 a| 3540223800 (pbk.);

035 a| (Sirsi) o55808039;

035 a| (OCoLC)55808039;

040 a| OHXc| OHXd| OSUd| UtOrBLW;

049 a| EREE;

072 7 a| QA2| lcco;

090 a| QA76.6b| .M6926 2004;

111 2 a| MPC 2004n| (7th :d| 2004 :c| Stirling, Scotland)?| UNAUTHORIZED;

245 10 a| Mathematics of program construction :b| 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 ; proceedings /c| Dexter Kozen (ed.).;

300 a| x, 399 pages :b| figures, tables ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 3125;

504 a| Includes bibliographical references and author index.;

650 0 a| Computer programmingv| Congresses.=| ^A34403;

650 0 a| Computer sciencex| Mathematicsv| Congresses.=| ^A248247;

700 1 a| Kozen, Dexter,d| 1951-=| ^A198396;

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

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har045014786c| 59.92 EUR;

980 a| 2004-08-25b| 78d| 0e| 74.1f| 441280;

596 a| 1;

998 a| 969923;

999 a| QA76.6 .M6926 2004w| LCc| 1i| 30372012531718d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERp| $74.10r| Ys| Yt| JGESBKu| 9/9/2004x| BOOKz| JSTACKSo| .STAFF. 0;

Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 ; proceedings / Dexter Kozen (ed.).

Author/creator	MPC 2004
Other author	Kozen, Dexter, 1951-
Format	Book
Publication Info	Berlin ; New York : Springer, ©2004.
Description	x, 399 pages : figures, tables ; 24 cm.
Subjects	Computer programming--Congresses. Computer science--Mathematics. --Congresses.

Series	Lecture notes in computer science ; 3125 Lecture notes in computer science 3125. ^A466336
Bibliography note	Includes bibliographical references and author index.
ISBN	3540223800 (pbk.)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.6 .M6926 2004	✔ Available	Place Hold

Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 ; proceedings / Dexter Kozen (ed.).

Click here for more information about this title

Availability