Tools

LEADER 01769cam 22004454a 4500

001 ocm44425546;

003 OCoLC;

005 20141212143848.0;

008 000608s2000 nyu b 101 0 eng ;

010 a| 00055631;

020 a| 3540677275 (softcover : alk. paper);

035 a| (Sirsi) o44425546;

035 a| (OCoLC)44425546;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.6.b| I5535 2000;

072 7 a| QA2| lcco;

082 00 a| 004.2/1/01512| 21;

111 2 a| International Conference on the Mathematics of Program Constructiond| (2000 :c| Ponte do Lima, Portugal)?| UNAUTHORIZED;

245 10 a| Mathematics of program construction :b| 5th International Conference, MPC 200, Ponte de Lima, Portugal, July 200 : proceedings /c| Roland Backhouse, José Nuno Oliveira (eds.).;

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

300 a| vii, 255 pages ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

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

504 a| Includes bibliographical references and index.;

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

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

700 1 a| Backhouse, Roland C.,d| 1948-=| ^A461382;

700 1 a| Oliveira, José N.=| ^A417302;

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

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har005131218c| 74.00 DEM;

980 a| 2000-09-13b| 52d| 2.62e| 43.68f| 451817;

596 a| 1;

998 a| 765939;

999 a| QA76.6.I5535 2000w| LCc| 1i| 30372010901533d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERp| $43.68r| Ys| Yt| JGESBKu| 9/21/2000x| BOOKz| JSTACKSo| .STAFF. 0;

Mathematics of program construction : 5th International Conference, MPC 200, Ponte de Lima, Portugal, July 200 : proceedings / Roland Backhouse, José Nuno Oliveira (eds.).

Author/creator	International Conference on the Mathematics of Program Construction
Other author	Backhouse, Roland C., 1948-
Other author	Oliveira, José N.
Format	Book
Publication Info	New York : Springer, 2000.
Description	vii, 255 pages ; 24 cm.
Subjects	Computer programming--Congresses. Computer science--Mathematics. --Congresses.

Series	Lecture notes in computer science ; 1837 Lecture notes in computer science 1837. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	00055631
ISBN	3540677275 (softcover : alk. paper)

Availability

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

Mathematics of program construction : 5th International Conference, MPC 200, Ponte de Lima, Portugal, July 200 : proceedings / Roland Backhouse, José Nuno Oliveira (eds.).

Click here for more information about this title

Availability