An edition of Logics of programs (1985)
Brooklyn, June 17-19, 1985 : proceedings
By Rohit Parikh
Publish Date
1985
Publisher
Springer-Verlag
Language
eng
Pages
424