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
Reviews
There are no reviews yet.