Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker Ebook (yecbook.shop)
Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker Ebook (yecbook.shop)
$10.00
Category: Ebook
Tag: yecbook.shop
Be the first to review “Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker Ebook (yecbook.shop)” Cancel reply
Related products
$10.00
Reviews
There are no reviews yet.