Logics of Programs
Subtitle: Lecture Notes in Computer Science
Contributors: Edmund Clarke (Editor); Dexter Kozen (Editor)
Publisher: Springer-Verlag
Published: April 1984
Language: eng
Number of pages: 527
ISBN-13: 9780387128962