Logics of Programs
Subtitle: Lecture Notes in Computer Science
Publisher: Springer-Verlag
Published: May 1982
Language: eng
Number of pages: 429
ISBN-13: 9780387112121