Cover Image
Read Now

1
Published 1991
Springer Berlin Heidelberg
Subjects: “...Logics and Meanings of Programs...”