This book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, ...
Lee mas
This book is organized in topical sections on programming languages, software engineering, distributed and parallel systems, ...
Lee mas
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Lee mas