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 : $129.43