Freunden von diesem Artikel berichten:
Formalisieren Und Beweisen: Logik Für Informatiker (Lehrbuch Informatik) (German Edition) German, 2. Aufl. 1992 edition
Dirk Siefkes
Preis
€ 86,49
Bestellware
Lieferdatum: ca. 28. Mai - 7. Jun
Zu deiner iMusic Wunschliste hinzufügen
Formalisieren Und Beweisen: Logik Für Informatiker (Lehrbuch Informatik) (German Edition) German, 2. Aufl. 1992 edition
Dirk Siefkes
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 1992 |
| ISBN13 | 9783528147570 |
| Verlag | Vieweg+Teubner Verlag |
| Seitenanzahl | 259 |
| Maße | 167 × 15 × 240 mm · 449 g |
| Sprache | Deutsch |
Alle anzeigen
Weitere Titel von Dirk Siefkes
![Cover for Dirk Siefkes · Pioniere Der Informatik: Ihre Lebensgeschichte Im Interview (Taschenbuch) [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-taschenbuch&class=scaled&v=1436890510)
![Cover for Dirk Siefkes · Pioniere Der Informatik: Ihre Lebensgeschichte Im Interview (Gebundenes Buch) [1999 edition] (1998)](https://imusic.b-cdn.net/images/item/original/574/9783540648574.jpg?dirk-siefkes-1998-pioniere-der-informatik-ihre-lebensgeschichte-im-interview-gebundenes-buch&class=scaled&v=1436890513)
![Cover for Dirk Siefkes · Sozialgeschichte Der Informatik: Kulturelle Praktiken Und Orientierungen - Studien Zur Wissenschafts- Und Technikforschung (Taschenbuch) [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-taschenbuch&class=scaled&v=1587350348)
![Cover for Dirk Siefkes · Formalisieren und Beweisen - Lehrbuch Informatik (Taschenbuch) [1990 edition] (1990)](https://imusic.b-cdn.net/images/item/original/573/9783528047573.jpg?dirk-siefkes-1990-formalisieren-und-beweisen-lehrbuch-informatik-taschenbuch&class=scaled&v=1543925856)
![Cover for Dirk Siefkes · Gi-4.Jahrestagung: Berlin, 9.-12. Oktober 1974 - Lecture Notes in Computer Science (Taschenbuch) [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-taschenbuch&class=scaled&v=1414069000)
![Cover for Dirk Siefkes · Buchi's Monadic Second Order Successor Arithmetic - Lecture Notes in Mathematics (Taschenbuch) [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-taschenbuch&class=scaled&v=1493059820)
Alle Titel von Dirk Siefkes ansehen ( u. a. Taschenbuch und Gebundenes Buch )