Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (Nato ASI Subseries F: (36))
von
Manfred Broy
Gebunden
Details (
Deutschland
)
ISBN-13: 978-3-540-18003-6
ISBN-10: 3-540-18003-6
Springer
· 1987
