Description
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Sale!
Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Original price was: ₨ 1,500.₨ 1,200Current price is: ₨ 1,200.
Colour Matt Finished
Related products
-
Sale!
The Architecture of the Facade
Original price was: ₨ 2,000.₨ 1,600Current price is: ₨ 1,600. -
Sale!
Building Blocks of Tabletop Game Design An Encyclopedia of Mechanisms 2nd Edition
Original price was: ₨ 3,000.₨ 2,500Current price is: ₨ 2,500. -
Sale!
Cultural Heritage Education in the Everyday Landscape School Citizenship Space and Representation
Original price was: ₨ 2,000.₨ 1,300Current price is: ₨ 1,300. -
Sale!
Urban Architecture and Local Spaces in Pakistan
Original price was: ₨ 1,500.₨ 800Current price is: ₨ 800.
Reviews
There are no reviews yet.