Tools

LEADER 01227cam 22003498a 4500

001 ocm20014580;

005 20141212075108.0;

008 890627s1990 nyu 001 0 eng ;

010 a| 89011540;

020 a| 0387969578 (alk. paper);

035 a| (Sirsi) o20014580;

035 a| (OCoLC)20014580;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA9.35b| .D55 1990;

100 1 a| Dijkstra, Edsger W.=| ^A80282;

245 10 a| Predicate calculus and program semantics /c| Edsger W. Dijkstra, Carel S. Scholten.;

300 a| x, 220 pages ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Texts and monographs in computer science;

500 a| Includes index.;

650 0 a| Predicate calculus.=| ^A30206;

650 0 a| Programming languages (Electronic computers)x| Semantics.=| ^A118081;

700 1 a| Scholten, Carel S.=| ^A252957;

830 0 a| Texts and monographs in computer science.=| ^A223444;

919 a| BOOK;

596 a| 1;

998 a| 358969;

999 a| QA9.35.D55 1990w| LCc| 1i| 30372005498032d| 1/31/2013l| JGESm| JOYNERq| 1r| Ys| Yt| JGESBKu| 8/21/1990x| BOOKz| JSTACKSo| .STAFF. 0;

Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten.

Author/creator	Dijkstra, Edsger W.
Other author	Scholten, Carel S.
Format	Book
Publication Info	New York : Springer-Verlag, ©1990.
Description	x, 220 pages ; 25 cm.
Subjects	Predicate calculus. Programming languages (Electronic computers)--Semantics.

Series	Texts and monographs in computer science Texts and monographs in computer science. ^A223444
General note	Includes index.
LCCN	89011540
ISBN	0387969578 (alk. paper)

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9.35.D55 1990	✔ Available	Place Hold

Click here for more information about this title