Tools

LEADER 01154cam 2200337 a 4500

001 ocm19125494;

005 20141212081547.0;

008 890118s1990 maua b 101 0 eng ;

010 a| 89000102;

020 a| 0201172372;

035 a| (Sirsi) o19125494;

035 a| (OCoLC)19125494;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.6b| .F657 1990;

082 00 a| 005.12| 19;

245 00 a| Formal development of programs and proofs /c| edited by Edsger W. Dijkstra.;

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

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| UT year of programming series;

504 a| Includes bibliographical references.;

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

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

830 0 a| UT year of programming series.=| ^A261796;

919 a| BOOK;

596 a| 1;

998 a| 373977;

999 a| QA76.6.F657 1990w| LCc| 1i| 30372005667313d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 1/28/1991x| BOOKz| JSTACKSo| .STAFF. 0;

Formal development of programs and proofs / edited by Edsger W. Dijkstra.

Other author	Dijkstra, Edsger W.
Format	Book
Publication Info	Reading, Mass. : Addison-Wesley, ©1990.
Description	xiv, 242 pages : illustrations ; 25 cm.
Subjects	Computer programming--Congresses.

Series	UT year of programming series UT year of programming series. ^A261796
Bibliography note	Includes bibliographical references.
LCCN	89000102
ISBN	0201172372

Availability

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

Formal development of programs and proofs / edited by Edsger W. Dijkstra.

Click here for more information about this title

Availability