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

More Information

Format: Hardcover
Pages: 428
Edition: 1993
Publisher: Springer
Published: 03 Nov 1993
ISBN 10: 354056943X
ISBN 13: 9783540569435