Design Patterns Für Mathematische Beweise : Ein Leitfaden Insbesondere Für Informatiker
by Hans Jürgen Ohlbach, Norbert Eisinger Paperback 2017
- Author: Hans Jürgen Ohlbach, Norbert Eisinger
- ISBN 13: 9783662556511
- ISBN 10: 3662556510
- Publication Year: 2017
- Language: German
Specifications
Index-103662556510
LanguageGerman
Index-139783662556511
Period-
Class Track-
Publisher- (2017)
Pages-