Sale!

Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Original price was: ₨ 1,500.Current price is: ₨ 1,200.

Colour Matt Finished

SKU: 978-3031249334 Category:

Description

Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Reviews

There are no reviews yet.

Only logged in customers who have purchased this product may leave a review.

2
    2
    Your Cart

    Add to cart