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