Software Abstractions: Logic, Language, and Analysis - The MIT Press - Jackson, Daniel (Massachusetts Institute of Technology) - 書籍 - MIT Press Ltd - 9780262528900 - 2016年2月12日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Jackson, Daniel (Massachusetts Institute of Technology)
Software Abstractions: Logic, Language, and Analysis - The MIT Press Revised edition

価格
¥ 7.393
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月8日 - 年12月18日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

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

An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.

376 pages, 58 b&w illus.

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2016年2月12日
ISBN13 9780262528900
出版社 MIT Press Ltd
ページ数 376
寸法 231 × 154 × 23 mm   ·   498 g
言語 英語  
すべて表示

Jackson, Daniel (Massachusetts Institute of Technology)の他の作品を見る

Jackson, Daniel (Massachusetts Institute of Technology)のすべてを見る ( 例： Hardcover Book および Paperback Book )