Author:
Edmund M. Clarke, Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
Series:
Cyber Physical Systems Series
Publisher:
MIT Press (December 4, 2018)
Dimensions:
7.32" x 9.32" x 1.06"
File:
RandomHouse-PRH_Book_Company_PRH_PRT_Onix_full_active_D20260705T121357_156890317-20260705.xml
Publisher Identifier:
P-RH
Country of Origin:
United States