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: 2017

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

Hardback (Switzerland), February 2018
 $275 Price includes delivery!
Pre-order now, ships 16th February