Tell your friends about this item:
Formalisieren und Beweisen - Lehrbuch Informatik Dirk Siefkes 1990 edition
Price
$ 56.99
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Jun 3 - 9
Our customers say:
Add to your iMusic wish list
Formalisieren und Beweisen - Lehrbuch Informatik
Dirk Siefkes
259 pages, black & white illustrations, bibliography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | 1990 |
| ISBN13 | 9783528047573 |
| Publishers | Springer Fachmedien Wiesbaden |
| Pages | 259 |
| Dimensions | 244 × 172 × 19 mm · 449 g |
| Language | German |
More by Dirk Siefkes
Show all![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 · Formale Methoden und Kleine Systeme - Theorie der Informatik (Paperback Book) [1993 edition] (1992)](https://imusic.b-cdn.net/images/item/original/990/9783528051990.jpg?dirk-siefkes-1992-formale-methoden-und-kleine-systeme-theorie-der-informatik-paperback-book&class=scaled&v=1610575180)
![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 · 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)
Mere med samme udgiver
![Cover for Handbuch Anarchismus 1: Leben, Werke und Wirkungsgeschichte (Hardcover Book) [1. Aufl. 2021 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Perspectives on Authoritarianism - Politische Psychologie (Paperback Book) [2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/172/9783531165172.jpg?2027-perspectives-on-authoritarianism-politische-psychologie-paperback-book&class=scaled&v=1397734635)
![Cover for Niklas Luhmann · Schriften zur Organisation 6: Kommentar und Verzeichnisse (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-und-verzeichnisse-hardcover-book&class=scaled&v=1590392582)
![Cover for Nina Baur · Verlaufsmusteranalyse: Entwurf einer prozessorientierten Methodologie (Paperback Book) [2. Auflage 2024 edition] (2027)](https://imusic.b-cdn.net/images/item/original/989/9783531198989.jpg?nina-baur-2027-verlaufsmusteranalyse-entwurf-einer-prozessorientierten-methodologie-paperback-book&class=scaled&v=1490013382)
![Cover for Patrick Ulrich · Governance, Compliance und Risikomanagement: Leitfaden fur wertschopfungsorientierte Unternehmensfuhrung (Paperback Book) [1. Aufl. 2021 edition] (2026)](https://imusic.b-cdn.net/images/item/original/959/9783658078959.jpg?patrick-ulrich-2026-governance-compliance-und-risikomanagement-leitfaden-fur-wertschopfungsorientierte-unternehmensfuhrung-paperback-book&class=scaled&v=1486362269)
![Cover for Denis Newiak · Loneliness in Series: Televisual Expressions of Modern Loneliness (Paperback Book) [2024 edition] (2026)](https://imusic.b-cdn.net/images/item/original/902/9783658407902.jpg?denis-newiak-2026-loneliness-in-series-televisual-expressions-of-modern-loneliness-paperback-book&class=scaled&v=1774164243)
![Cover for Davide Brocchi · By Disaster or by Co-Design?: Sustainability Transformation as Social and Cultural Challenge (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/192/9783658503192.jpg?davide-brocchi-2026-by-disaster-or-by-co-design-sustainability-transformation-as-social-and-cultural-challenge-hardcover-book&class=scaled&v=1774450361)
See all of Dirk Siefkes ( e.g. Paperback Book and Hardcover Book )