Autor/-in: Dirk Siefkes
Professor Dr. Dirk Siefkes lehrt an der TU Berlin am Fachbereich Informatik. Er ist Autor des bei Vieweg 1990 erschienenen Lehrbuches "Formalisieren und Beweisen - Logik für Informatiker".
Hier finden Sie zu den besten Preisen alle Bücher, eBooks und Hörbücher von Dirk Siefkes.
Bestellungen bis 15:00 Uhr für Produkte auf Lager erhalten Sie - ohne Versandgebühr - am nächsten Werktag.
1
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Formale Methoden und kleine Systeme
Lernen, leben und arbeiten in formalen Umgebungen
-5.2 %
CHF 91.–