Logics of programs

rohit Parikh

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