Tools

LEADER 01345cam 2200349 i 4500

001 ocm05264774;

005 20141212022711.0;

008 790723s1980 nyua b 000 0 eng ;

010 a| 79007306;

020 a| 0824044207 :c| $16.00;

035 a| (Sirsi) o05264774;

035 a| (OCoLC)5264774;

049 a| ERE*;

050 00 a| QA76.73.L23b| C37 1980;

082 0 a| 001.6/424;

100 1 a| Cartwright, Robert,d| 1949-=| ^A119302;

245 12 a| A practical formal semantic definition and verification system for TYPED LISP /c| Robert Cartwright, Jr.;

260 a| New York :b| Garland Pub.,c| 1980.;

300 a| v, 153 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Outstanding dissertations in the computer sciences;

500 a| Originally presented as the author's thesis, Stanford Universiy, 1976.;

504 a| Bibliography: p. 73.;

650 0 a| LISP (Computer program language)=| ^A75384;

830 0 a| Outstanding dissertations in the computer sciences.=| ^A646488;

919 a| BOOK;

596 a| 1;

998 a| 164245;

999 a| QA76.73.L23 C37 1980w| LCc| 1i| 310372001893420d| 2/14/2013f| 2/14/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 6/11/1986x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

A practical formal semantic definition and verification system for TYPED LISP / Robert Cartwright, Jr.

Author/creator	Cartwright, Robert, 1949-
Format	Book
Publication Info	New York : Garland Pub., 1980.
Description	v, 153 pages : illustrations ; 24 cm.
Subjects	LISP (Computer program language)

Series	Outstanding dissertations in the computer sciences Outstanding dissertations in the computer sciences. ^A646488
General note	Originally presented as the author's thesis, Stanford Universiy, 1976.
Bibliography note	Bibliography: p. 73.
LCCN	79007306
ISBN	0824044207 :

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.73.L23 C37 1980	✔ Available	Place Hold

A practical formal semantic definition and verification system for TYPED LISP / Robert Cartwright, Jr.

Click here for more information about this title

Availability