Computer Aided Verification

Name: Computer Aided Verification
Brand: Saint Philip Street Press
SKU: 9781013271007
Price: 48.2 GBP
Availability: InStock
ISBN: 9781013271007

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: 9781013271007

Dimensions: 279mm x 216mm x 28mm

Weight: 1266g

554 pages