Logic of Programming and Calculi of Discrete Design
Subtitle: International Summer School
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Published: December 31, 1987
Format: Hardcover
Number of pages: 413
ISBN-13: 9783540180036
Subjects: Programming languages