Logics of programs
rohit Parikh
Logics of programs - - Springer-Verlag 1985 - 424
3-540-15648-8
004.43
Logics of programs - - Springer-Verlag 1985 - 424
3-540-15648-8
004.43
University Library
Cochin University of Science and Technology
Kochi-682 022, Kerala, India