€109.95
表中的内容
Frontmatter — Inhalt — Vorwort der Herausgeber — Vorwort des Autors — 1. Logik in der Informatik — 2. Beispiele logischer Beschreibungen — 3. Signaturen und Strukturen — 4. Terme, Formeln und ihre Auswertung — 5. Spezifikationen und Modelle — 6. Spezielle Situationen — 7. Folgern — 8. Ableiten — 9. Anwendungen in Skizzen — 10. Ausblick — Anhang
购买此电子书可免费获赠一本！
语言 德语 ● 格式 PDF ● 网页 165 ● ISBN 9783110701920 ● 文件大小 40.9 MB ● 出版者 De Gruyter ● 市 Berlin/München/Boston ● 发布时间 2020 ● 版 1 ● 下载 24 个月 ● 货币 EUR ● ID 7913665 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器
来自同一作者的更多电子书 / 编辑
74,651 此类电子书
