<図書>
A practical formal semantic definition and verification system for TYPED LISP
責任表示 | Robert Cartwright, Jr |
---|---|
シリーズ | Outstanding dissertations in the computer sciences |
データ種別 | 図書 |
出版者 | New York : Garland Pub. |
出版年 | 1980 |
本文言語 | 英語 |
大きさ | v, 153 p. : ill. ; 24 cm |
所蔵情報
状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
---|---|---|---|---|---|---|---|---|---|---|
|
理系図 自動書庫 | A0/Co-2/26 | 1980 |
|
061232004038395 |
|
書誌詳細
一般注記 | Originally presented as the author's thesis, Stanford Universiy, 1976 Bibliography: p. 73 |
---|---|
著者標目 | *Cartwright, Robert, 1949- |
件 名 | LCSH:LISP (Computer program language) |
分 類 | LCC:QA76.73.L23 DC:001.6/424 |
書誌ID | 1000967967 |
ISBN | 0824044207 |
NCID | BA25904050 |
巻冊次 | ISBN:0824044207 ; PRICE:$16.00 |
登録日 | 2009.09.16 |
更新日 | 2009.09.16 |