Tools

LEADER 01609cam a22004094a 4500

001 ocm48416351;

003 OCoLC;

005 20141212172014.0;

008 010621s2001 maua b 100 0 eng ;

010 a| 2001038249;

015 a| GBA1-65911;

020 a| 0792371437 (acid-free paper);

035 a| (Sirsi) o48416351;

035 a| (OCoLC)48416351;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.7b| .I175 1999;

072 7 a| QA2| lcco;

082 00 a| 005.13/12| 21;

111 2 a| International Symposium on Domain Theoryn| (1st :d| 1999 :c| Shanghai, China)?| UNAUTHORIZED;

245 10 a| Domains and processes :b| proceedings of the 1st International Symposium on Domain Theory, Shanghai, China, October 1999 /c| edited by Klaus Keimel [and others].;

300 a| xiv, 273 pages :b| illustrations ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Semantic structures in computation ;v| v. 1;

504 a| Includes bibliographical referneces.;

650 0 a| Programming languages (Electronic computers)x| Semanticsv| Congresses.=| ^A1241657;

700 1 a| Keimel, Klaus.=| ^A545541;

830 0 a| Semantic structures in computation ;v| v. 1.=| ^A560844;

994 a| X0b| ERE;

938 a| Otto Harrassowitzb| HARRn| har015038857c| 115.00 DEM;

596 a| 1;

998 a| 921086;

999 a| QA76.7 .I175 1999w| LCc| 1i| 30372012031818d| 2/14/2013f| 2/14/2013g| 1l| JGESm| JOYNERp| $106.00r| Ys| Yt| JGESBKu| 1/10/2003x| BOOKz| JSTACKSo| .STAFF. 0;

Domains and processes : proceedings of the 1st International Symposium on Domain Theory, Shanghai, China, October 1999 / edited by Klaus Keimel [and others].

Author/creator	International Symposium on Domain Theory
Other author	Keimel, Klaus.
Format	Book
Publication Info	Boston : Kluwer Academic Publishers, ©2001.
Description	xiv, 273 pages : illustrations ; 25 cm.
Subjects	Programming languages (Electronic computers)--Semantics. --Congresses.

Series	Semantic structures in computation ; v. 1 Semantic structures in computation ; v. 1. ^A560844
Bibliography note	Includes bibliographical referneces.
LCCN	2001038249
ISBN	0792371437 (acid-free paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.7 .I175 1999	✔ Available	Place Hold

Domains and processes : proceedings of the 1st International Symposium on Domain Theory, Shanghai, China, October 1999 / edited by Klaus Keimel [and others].

Click here for more information about this title

Availability