3 Ebook di 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 dem …
PDF
Inglese
DRM
€57.64
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 sit …
PDF
Inglese
DRM
€57.61
C.R. Ramakrishnan & Jakob Rehof: Tools and Algorithms for the Construction and Analysis of Systems
…
PDF
Inglese
DRM
€57.99
