Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker Ebook (yecbook.shop)

$10.00

Category: Tag: