Add Wish List Add to Cart The item has been added Principles of Systems Design This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022. This Festschrift volume celebrates his many contributions in the field of computer science,... RRP: $162.00 Add to Cart The item has been added
Add Wish List Add to Cart The item has been added Static Analysis Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming languages... RRP: $92.00 Add to Cart The item has been added