by Thomas A. Henzinger (Editor), Helmut Veith (Editor), Roderick Bloem (Editor), Edmund M. Clarke (Editor)
Format: Hardcover
Pages: 1260
Edition: 1st ed. 2018
Publisher: Springer
Published: 28 May 2016
ISBN 10: 3319105744
ISBN 13: 9783319105741
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
