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

Informatiker

von Dirk Siefkes

Broschiert

ISBN: 978-3-528-04757-3

ISBN-10: 3-528-04757-7

Vieweg+Teubner Verlag · 1990

Siehe auch:
2013TaschenbuchFormalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) (German Edition)