Buy Used and New Roderick Bloem Books

Results for Roderick Bloem

Showing 1 to 1 of 1 results
Handbook of Model Checking Handbook of Model Checking by Edmund M. Clarke,Thomas A. Henzinger,Helmut Veith,Roderick Bloem

Handbook of Model Checking

by Edmund M. Clarke,Thomas A. Henzinger,Helmut Veith,Roderick Bloem


ISBN 13: 9783319105741

Format: Hardcover (1260 pages)
Publisher: Springer
Published: 28 May 2016

Save for later

 
New : $132.78  
New : $132.78