Program Design Calculi: Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Held in Marktoberdorf, Germany, July 28-August 9, 1992 (Nato ASI Subseries F: (118), Band 118)

Proceedings

von Manfred Broy

Gebunden

ISBN: 978-3-540-56943-5

ISBN-10: 3-540-56943-X

Springer · 1993