Computer Systems

Join Mailing List

Filter Results Grid View List View

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