この商品を友人に教える:
Semantik Und Programmverifikation - Teubner Texte Zur Informatik Christoph Walther German, 2001 edition
価格
¥ 6.235
税抜
遠隔倉庫からの取り寄せ
発送予定日 年9月28日 - 年10月8日
Christoph Walther の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
Semantik Und Programmverifikation - Teubner Texte Zur Informatik
Christoph Walther
211 pages, black & white illustrations
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2001年11月29日 |
| ISBN13 | 9783519003366 |
| 出版社 | Springer Fachmedien Wiesbaden |
| ページ数 | 211 |
| 寸法 | 170 × 244 × 12 mm · 349 g |
| 言語 | ドイツ語 |
![Cover for Christoph Walther · Automatisierung Von Terminierungsbeweisen - Kunstliche Intelligenz (Paperback Book) [1991 edition] (1991)](https://imusic.b-cdn.net/images/item/original/719/9783528047719.jpg?christoph-walther-1991-automatisierung-von-terminierungsbeweisen-kunstliche-intelligenz-paperback-book&class=scaled&v=1603998655)
![Cover for Handbuch Anarchismus 1: Leben, Werke und Wirkungsgeschichte (Hardcover Book) [1. Aufl. 2021 edition] (2028)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Patrick Ulrich · Governance, Compliance und Risikomanagement: Leitfaden fur wertschopfungsorientierte Unternehmensfuhrung (Paperback Book) [1. Aufl. 2021 edition] (2027)](https://imusic.b-cdn.net/images/item/original/959/9783658078959.jpg?patrick-ulrich-2027-governance-compliance-und-risikomanagement-leitfaden-fur-wertschopfungsorientierte-unternehmensfuhrung-paperback-book&class=scaled&v=1486362269)
![Cover for Stefan Hunziker · Research Design in Business and Management: A Practical Guide for Students and Researchers (Paperback Book) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/440/9783658527440.jpg?stefan-hunziker-2026-research-design-in-business-and-management-a-practical-guide-for-students-and-researchers-paperback-book&class=scaled&v=1788248334)
![Cover for Niklas Luhmann · Schriften zur Organisation 6: Kommentar • Verzeichnisse • Register von Ernst Lukas und Veronika Tacke (Hardcover Book) [1. Aufl. 2022 edition] (2026)](https://imusic.b-cdn.net/images/item/original/355/9783658234355.jpg?niklas-luhmann-2026-schriften-zur-organisation-6-kommentar-verzeichnisse-register-von-ernst-lukas-und-veronika-tacke-hardcover-book&class=scaled&v=1590392582)
