Computer Aided Verification
Hana Chockler author Georg Weissenbacher author
Format:Hardback
Publisher:Saint Philip Street Press
Published:8th Oct '20
Currently unavailable, and unfortunately no date known when it will be back
This hardback, "Computer Aided Verification" from Hana Chockler & Georg Weissenbacher, was published 8th October 2020 by Saint Philip Street Press.
ISBN: 9781013271014
Dimensions: 279mm x 216mm x 30mm
Weight: 1556g
554 pages