Buy Used and New Thomas A. Henzinger Books

Results for Thomas A. Henzinger

Showing 1 to 6 of 6 results
Hybrid Systems III: Verification and Control: 1066 (Lecture Notes in Computer Science) Hybrid Systems III: Verification and Control: 1066 (Lecture Notes in Computer Science) by Eduardo D. Sontag,Thomas A. Henzinger,Rajeev Alur

Hybrid Systems III: Verification and Control: 1066 (Lecture Notes in Computer Science)

by Eduardo D. Sontag,Thomas A. Henzinger,Rajeev Alur


ISBN 13: 9783540611554

Format: Paperback (636 pages)
Publisher: Springer
Published: 24 Apr 1996

Save for later

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