Jr. Edmund M. Clarke, Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith Model Checking, second edition

Price for Eshop: 2176 Kč (€ 87.0)

VAT 0% included

Condition: New

Availability: E-book delivered electronically online

E-Book information

Publisher: MIT Press

Date: 2018

EAN/ISBN13: 978-0-262-34945-1

ISBN10: 0-262-34945-0

You can ask us about this book and we'll send an answer to your e-mail.