Design Patterns fuer mathematische Beweise: Ein Leitfaden insbesondere fuer Informatiker

出版社: Springer Vieweg(2017-09-14)

ペーパーバック: 196 ページ / 16.8 x 1.1 x 24.0 cm

ISBN-10: 3662556510  ISBN-13: 9783662556511