この商品を友人に教える:
Temporal Type Theory Schultz 1st ed. 2019 edition
価格
¥ 20.339
税抜
遠隔倉庫からの取り寄せ
発送予定日 年6月8日 - 年6月18日
iMusicのウィッシュリストに追加
Temporal Type Theory
Schultz
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems.
235 pages, 7 Illustrations, color; 60 Illustrations, black and white; VIII, 235 p. 67 illus., 7 illu
| メディア | 書籍 Book |
| リリース済み | 2019年2月11日 |
| ISBN13 | 9783030007034 |
| 出版社 | Springer Nature Switzerland AG |
| ページ数 | 235 |
| 寸法 | 241 × 195 × 18 mm · 535 g |
| 言語 | ドイツ語 |
Schultzの他の作品を見る
すべて表示
Schultzのすべてを見る ( 例： Book , Paperback Book , Sheet music , CD および Hardcover Book )