Vlisp a Verified Implementation of Scheme - Guttman - 書籍 - Kluwer Academic Publishers - 9780792395669 - 1995年5月31日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Guttman
Vlisp a Verified Implementation of Scheme Reprinted from Lisp and Symbolic Computation, an I edition

価格
¥ 28.388
税抜

遠隔倉庫からの取り寄せ

発送予定日 年9月29日 - 年10月15日
Guttman の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

The VLISP project undertook to provide a rigorous verification of a programming language. The project began at the MITRE Corporation in late 1989 under the company's Technology Program. The work was supervised by the Rome Laboratory of the US Air Force. This title extracts re-usable conclusions from the work at two, quite different levels.

184 pages, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 1995年5月31日
ISBN13 9780792395669
出版社 Kluwer Academic Publishers
ページ数 184
寸法 155 × 235 × 12 mm   ·   553 g
編集者 Gutmann, Joshua D.
編集者 Wand, Mitchell

同じ出版社からのその他の記事

Guttmanのすべてを見る