この商品を友人に教える:
Formale Methoden und Kleine Systeme - Theorie der Informatik Dirk Siefkes 1993 edition
価格
¥ 12.235
税抜
遠隔倉庫からの取り寄せ
発送予定日 年9月17日 - 年9月29日
Dirk Siefkes の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
Formale Methoden und Kleine Systeme - Theorie der Informatik
Dirk Siefkes
198 pages, bibliography
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 1992年10月1日 |
| ISBN13 | 9783528051990 |
| 出版社 | Springer Fachmedien Wiesbaden |
| ページ数 | 198 |
| 寸法 | 150 × 220 × 10 mm · 324 g |
| 言語 | ドイツ語 |
![Cover for Dirk Siefkes · Pioniere Der Informatik: Ihre Lebensgeschichte Im Interview (Paperback Book) [Softcover Reprint of the Original 1st 1999 edition] (2012)](https://imusic.b-cdn.net/images/item/original/608/9783642636608.jpg?dirk-siefkes-2012-pioniere-der-informatik-ihre-lebensgeschichte-im-interview-paperback-book&class=scaled&v=1436890510)
![Cover for Dirk Siefkes · Sozialgeschichte Der Informatik: Kulturelle Praktiken Und Orientierungen - Studien Zur Wissenschafts- Und Technikforschung (Paperback Book) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/000/9783824443000.jpg?dirk-siefkes-1998-sozialgeschichte-der-informatik-kulturelle-praktiken-und-orientierungen-studien-zur-wissenschafts-und-technikforschung-paperback-book&class=scaled&v=1587350348)
![Cover for Dirk Siefkes · Formalisieren Und Beweisen: Logik Für Informatiker (Lehrbuch Informatik) (German Edition) (Paperback Book) [German, 2. Aufl. 1992 edition] (1992)](https://imusic.b-cdn.net/images/item/original/570/9783528147570.jpg?dirk-siefkes-1992-formalisieren-und-beweisen-logik-fur-informatiker-lehrbuch-informatik-german-edition-paperback-book&class=scaled&v=1543872792)
![Cover for Dirk Siefkes · Formalisieren und Beweisen - Lehrbuch Informatik (Paperback Book) [1990 edition] (1990)](https://imusic.b-cdn.net/images/item/original/573/9783528047573.jpg?dirk-siefkes-1990-formalisieren-und-beweisen-lehrbuch-informatik-paperback-book&class=scaled&v=1543925856)
![Cover for Dirk Siefkes · Gi-4.Jahrestagung: Berlin, 9.-12. Oktober 1974 - Lecture Notes in Computer Science (Paperback Book) [1975 edition] (1975)](https://imusic.b-cdn.net/images/item/original/044/9783662391044.jpg?dirk-siefkes-1975-gi-4-jahrestagung-berlin-9-12-oktober-1974-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1414069000)
![Cover for Dirk Siefkes · Buchi's Monadic Second Order Successor Arithmetic - Lecture Notes in Mathematics (Paperback Book) [German, 1970 edition] (1970)](https://imusic.b-cdn.net/images/item/original/481/9783662358481.jpg?dirk-siefkes-1970-buchi-s-monadic-second-order-successor-arithmetic-lecture-notes-in-mathematics-paperback-book&class=scaled&v=1493059820)
![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 Niklas Luhmann · Schriften zur Organisation 6: Kommentar • Verzeichnisse • Register von Ernst Lukas und Veronika Tacke (Hardcover Book) [1. Aufl. 2022 edition] (2027)](https://imusic.b-cdn.net/images/item/original/355/9783658234355.jpg?niklas-luhmann-2027-schriften-zur-organisation-6-kommentar-verzeichnisse-register-von-ernst-lukas-und-veronika-tacke-hardcover-book&class=scaled&v=1590392582)
![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 Boris Tolg · Computer science to the Point: Computer science for Life Sciences Students and Other Non-Computer Scientists (Paperback Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/257/9783658518257.jpg?boris-tolg-2026-computer-science-to-the-point-computer-science-for-life-sciences-students-and-other-non-computer-scientists-paperback-book&class=scaled&v=1780321489)
![Cover for Robert Jupner · Flood Emergency Management (Hardcover Book) [2nd Second 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/590/9783658512590.jpg?robert-jupner-2026-flood-emergency-management-hardcover-book&class=scaled&v=1780321491)
![Cover for Michael Hilgers · Fuel Consumption and Consumption Optimization - Commercial Vehicle Technology (Paperback Book) [Third Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/122/9783662738122.jpg?michael-hilgers-2026-fuel-consumption-and-consumption-optimization-commercial-vehicle-technology-paperback-book&class=scaled&v=1780321470)
