Deductive Program Design (Nato ASI Subseries F: (152), Band 152)

Subseries

von Manfred Broy

Gebunden

ISBN-13: 978-3-540-60947-6

ISBN-10: 3-540-60947-4

Springer · 1996