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: 9781013270994
Dimensions: 279mm x 216mm x 38mm
Weight: 1910g
710 pages