A01=Daniel Kroening
A01=Doron Peled
A01=Edmund M. Clarke Jr.
A01=Helmut Veith
A01=Orna Grumberg
Author_Daniel Kroening
Author_Doron Peled
Author_Edmund M. Clarke Jr.
Author_Helmut Veith
Author_Orna Grumberg
Category=UY
eq_bestseller
eq_computing
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
eq_non-fiction
Product details
- ISBN 9780262038836
- Dimensions: 178 x 229mm
- Publication Date: 04 Dec 2018
- Publisher: MIT Press Ltd
- Publication City/Country: US
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
