Theory of Program Structures
Subtitle: Schemes, Semantics, Verification (Lecture Notes in Computer Science, 36)
Publisher: Springer-Verlag
Published: June 1976
Language: eng
Number of pages: 389
ISBN-13: 9780387074153