Computer Systems

Join Mailing List

Filter Results Grid View List View

Principles of Abstract Interpretation
Patrick Cousot 2021
- Hardcover $85.00
Verifying Cyber-Physical Systems

A Path to Safe Autonomy
Sayan Mitra 2021
- Hardcover $60.00
Introduction to Static Analysis

An Abstract Interpretation Perspective
Xavier Rival and Kwangkeun Yi 2020
- Hardcover $65.00