Sökt på: Böcker av Andre Scedrov
totalt 8 träffar
Logic and Computer Science
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are …
Software Security -- Theories and Systems
For more than the last three decades, the security of software systems has been an important area of computer science, yet it is a rather recent general recognition that …
Logic, Language, Information, and Computation
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the of the 29th International …
Tools and Methods of Program Analysis
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017. The 12 …
Tools and Methods of Program Analysis
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017. The 12 …
Software Security -- Theories and Systems
For more than the last three decades, the security of software systems has been an important area of computer science, yet it is a rather recent general recognition that …
Logic, Language, Information, and Computation
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the of the 29th International …
Logic and Computer Science
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are …