Teaching Formal Methods - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues - Jeremy Gibbons - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783642049118 - 2009年10月26日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Teaching Formal Methods - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues

価格
DKK 358,40
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月18日 - 年12月30日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加

187 pages, Illustrations

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2009年10月26日
ISBN13 9783642049118
出版社 Springer-Verlag Berlin and Heidelberg Gm
ジャンル Aspects (Academic) > Science / Technology Aspects
ページ数 188
寸法 155 × 235 × 13 mm   ·   294 g
言語 フランス語  

すべて表示

Jeremy Gibbonsの他の作品を見る