3 Ebooks de C. R. Ramakrishnan
Ezio Bartocci & C. R. Ramakrishnan: Model Checking Software
This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool …
PDF
Inglés
DRM
€57.61
Shriram Krishnamurthi & C.R. Ramakrishnan: Practical Aspects of Declarative Languages
Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been succe- fully applied to a wide variety of real-world …
PDF
Inglés
DRM
€57.14
