Tools

LEADER 01949cam a22004814a 4500

001 ocm49991601;

003 OCoLC;

005 20141212164004.0;

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

008 020605s2002 gw a b 101 0 eng ;

010 a| 2002075461;

020 a| 3540438572 (alk. paper);

035 a| (Sirsi) o49991601;

035 a| (OCoLC)49991601;

040 a| DLCc| DLCd| OHXd| C$Qd| C#Pd| UtOrBLW;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.6b| .M6926 2002;

072 7 a| QA2| lcco;

082 00 a| 005.12| 21;

111 2 a| MPC 2002d| (2002 :c| Dagstuhl Castle, Germany)?| UNAUTHORIZED;

245 10 a| Mathematics of program construction :b| 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings /c| Eerke A. Boiten, Bernhard Möller (eds.).;

260 a| Berlin;a| New York :b| Springer,c| 2002.;

300 a| xi, 420 pages :b| illustrations ;c| 23 cm.;

336 a| text2| rdacontent;

337 a| computer2| rdamedia;

338 a| online resource2| rdacarrier;

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

504 a| Includes bibliographical references and author index.;

530 a| Also available via the World Wide Web.;

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

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

700 1 a| Boiten, Eerke,d| 1966-=| ^A525250;

700 1 a| Möller, Bernhard,d| 1953-=| ^A347898;

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

856 41 u| http://link.springer-ny.com/link/service/series/0558/tocs/t2386.htmz| Restricted to Springer LINK subscribers;

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har025019774c| 42.80 DEM;

980 a| 2002-10-09b| 52d| 3.21e| 49.4f| 91457;

596 a| 1;

998 a| 890183;

999 a| QA76.6 .M6926 2002w| LCc| 1i| 30372011815484d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERp| $49.40r| Ys| Yt| JGESBKu| 10/25/2002x| BOOKz| JSTACKSo| .STAFF. 0;

Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings / Eerke A. Boiten, Bernhard Möller (eds.).

Author/creator	MPC 2002
Other author	Boiten, Eerke, 1966-
Other author	Möller, Bernhard, 1953-
Format	Electronic
Publication Info	Berlin; New York : Springer, 2002.
Description	xi, 420 pages : illustrations ; 23 cm.
Supplemental Content	Restricted to Springer LINK subscribers
Subjects	Computer programming--Congresses. Computer science--Mathematics. --Congresses.

Series	Lecture notes in computer science ; 2386 Lecture notes in computer science 2386. ^A466336
Bibliography note	Includes bibliographical references and author index.
Other forms	Also available via the World Wide Web.
LCCN	2002075461
ISBN	3540438572 (alk. paper)

Availability

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

Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings / Eerke A. Boiten, Bernhard Möller (eds.).

Click here for more information about this title

Availability