Tools

LEADER 01216cam 22003498a 4500

001 ocm24792411;

003 OCoLC;

005 20141212092724.0;

008 911025s1992 nyu b 001 0 eng ;

010 a| 91040182;

020 a| 0139510621 :c| $38.00;

035 a| (Sirsi) o24792411;

035 a| (OCoLC)24792411;

049 a| EREE;

050 00 a| QA76.76.V47b| D34 1992;

082 00 a| 005.1/42| 20;

100 1 a| Dahl, Ole-Johan,d| 1931-=| ^A297990;

245 10 a| Verifiable programming /c| Ole-Johan Dahl.;

260 a| New York :b| Prentice Hall,c| 1992.;

300 a| ix, 269 pages ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Prentice-Hall International Series in computer science;

504 a| Includes bibliographical references (p. 260-262) and index.;

650 0 a| Computer programsx| Verification.=| ^A118080;

830 0 a| Prentice-Hall international series in computer science.=| ^A117347;

919 a| BOOK;

596 a| 1;

998 a| 439659;

999 a| QA76.76.V47 D34 1992w| LCc| 1i| 30372006663071d| 2/25/2013f| 2/25/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 11/10/1992x| BOOKz| JSTACKSo| .STAFF. 0;

Verifiable programming / Ole-Johan Dahl.

Author/creator	Dahl, Ole-Johan, 1931-
Format	Book
Publication Info	New York : Prentice Hall, 1992.
Description	ix, 269 pages ; 24 cm.
Subjects	Computer programs--Verification.

Series	Prentice-Hall International Series in computer science Prentice-Hall international series in computer science. ^A117347
Bibliography note	Includes bibliographical references (p. 260-262) and index.
LCCN	91040182
ISBN	0139510621 :

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.76.V47 D34 1992	✔ Available	Place Hold

Verifiable programming / Ole-Johan Dahl.

Click here for more information about this title

Availability