Sell, buy or rent C.R. Ramakrishnan textbooks

9783540787990-3540787992-Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 4963)
9783540787990-3540787992-Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 4963)

Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 4963)

by C.R. Ramakrishnan, Jakob Rehof
ISBN-13: 9783540787990
ISBN-10: 3540787992
Edition: 2008
Publisher: Springer
Format: Paperback 536 pages
eBook from $32.70
9783642391750-3642391753-Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings (Theoretical Computer Science and General Issues)
9783642391750-3642391753-Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings (Theoretical Computer Science and General Issues)

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings (Theoretical Computer Science and General Issues)

by Ezio Bartocci, C. R. Ramakrishnan
ISBN-13: 9783642391750
ISBN-10: 3642391753
Edition: 2013
Publisher: Springer
Format: Paperback 387 pages
Sell Shop now at Amazon eBook from $16.50
9783540430926-354043092X-Practical Aspects of Declarative Languages: 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings (Lecture Notes in Computer Science, 2257)
9783540430926-354043092X-Practical Aspects of Declarative Languages: 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings (Lecture Notes in Computer Science, 2257)

Practical Aspects of Declarative Languages: 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings (Lecture Notes in Computer Science, 2257)

by Shriram Krishnamurthi, C.R. Ramakrishnan
ISBN-13: 9783540430926
ISBN-10: 354043092X
Edition: 2002
Publisher: Springer
Format: Paperback 359 pages
Sell Buy from $52.74 eBook from $16.50
cookies

We use cookies to ensure website functionality: improve our services, personalize your experience, analyze performance and traffic, and process orders efficiently. To learn more, check our Privacy Policy.