Download the Free Fishpond App!
Download on the App Store

Android App on Google play
Home » Books

M. Bloem

All Results | In Stock | New Releases | Coming Soon


Handbook of Model Checking
Handbook of Model Checking

By Edmund M. Clarke, Jr. (Edited by), Thomas A. Henzinger (Edited by), Helmut Veith (Edited by), Roderick Bloem (Edited by)

Hardback (Switzerland), October 2017
 $322 Price includes delivery!
Pre-order now, ships 31st October