Ayrat Khalimov eBooks
Epub and PDF format

Ayrat Khalimov eBooks



eBooks found: 1
Decidability of Parameterized Verification PDF (Adobe DRM) download by Roderick Bloem
Decidability of Parameterized Verification
Roderick Bloem & Swen Jacobs & Ayrat Khalimov
Morgan & Claypool Publishers, September 2015
ISBN: 9781627057431
Format: PDF
List Price: $44.00 Our price: $40.99