4 Ebooki wg Andre Scedrov
Vladimir Itsykson & Andre Scedrov: 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 revised full papers an …
EPUB
Angielski
DRM
€57.76
Mitsuhiro Okada & Benjamin Pierce: 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 technologies for software sec …
PDF
Angielski
DRM
€57.46
Steven Homer & Anil Nerode: 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 recorded here in five …
PDF
Angielski
DRM
€29.64
Helle Hvid Hansen & Ruy J.G.B. de Queiroz: Logic, Language, Information, and Computation
Edited in collaboration with Fo LLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the of the 29th International Workshop on Logic, Language, In …
EPUB
Angielski
DRM
€77.08
