Texts & Monographs in Symbolic Computati Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the Riscal Model Checker Hardcover from other stores

Items per page