search for books and compare prices
C. R. Ramakrishnan has written 2 work(s)
Search for other authors with the same name
displaying 1 to 2 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Model Checking Software: 20th International Symposium, Spin 2013, Stony Brook, Ny, USA, July 8-9, 2013, Proceedings
cover image for 9783642391750
By C. R. Ramakrishnan (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783642391750 | Springer-Verlag New York Inc, July 19, 2013, cover price $83.00

Practical Aspects of Declarative Languages: 4th International Symposium, Padl 2002 Portland, Or, Usa, January 19-20, 2002 Proceedings
cover image for 9783540430926
By Shriram Krishnamurthi (editor) and C. R. Ramakrishnan (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540430926 | Springer-Verlag New York Inc, April 1, 2002, cover price $109.00

displaying 1 to 2 | at end