Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) (German Edition)

Informatiker

von Dirk Siefkes

Taschenbuch

EAN=ISBN-13: 978-3-528-14757-0

ISBN-10: 3-528-14757-1

Vieweg+Teubner Verlag · 2013

S. auch:
1990BroschiertFormalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) (German Edition)