Tools

LEADER 01315cam a2200349Ia 4500

001 ocm26339539;

003 OCoLC;

005 20141212092401.0;

008 920806s1992 enk b 001 0 eng d;

020 a| 0521404363;

035 a| (Sirsi) o26339539;

035 a| (OCoLC)26339539;

040 a| JNAc| JNAd| EREd| UtOrBLW;

049 a| EREE;

090 a| QA76.9.M35b| H477x 1992;

100 1 a| Hesselink, Wim H.=| ^A296510;

245 10 a| Programs, recursion and unbounded choice :b| predicate-transformation semantics and transformation rules /c| Wim H. Hesselink.;

260 a| Cambridge, [England] :b| Cambridge University Press,c| 1992.;

300 a| xii, 223 pages ;c| 26 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Cambridge tracts in theoretical computer science;

504 a| Includes bibliographical references (p.[217]-220) and index.;

650 0 a| Computer programsx| Mathematics.=| ^A90532;

650 0 a| Recursion theory.=| ^A116859;

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

830 0 a| Cambridge tracts in theoretical computer science.=| ^A221007;

919 a| BOOK;

596 a| 1;

998 a| 436760;

999 a| QA76.9.M35 H477X 1992w| LCc| 1i| 30372006621103l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 10/21/1992x| BOOKz| JSTACKSo| .STAFF. 0;

Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules / Wim H. Hesselink.

Author/creator	Hesselink, Wim H.
Format	Book
Publication Info	Cambridge, [England] : Cambridge University Press, 1992.
Description	xii, 223 pages ; 26 cm.
Subjects	Computer programs--Mathematics. Recursion theory. Logic, Symbolic and mathematical.

Series	Cambridge tracts in theoretical computer science Cambridge tracts in theoretical computer science. ^A221007
Bibliography note	Includes bibliographical references (p.[217]-220) and index.
ISBN	0521404363

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.M35 H477X 1992	✔ Available	Place Hold

Click here for more information about this title