Computer Aided Verification

Serdar Tasiran author Isil Dillig author

Format:Hardback

Publisher:Saint Philip Street Press

Published:8th Oct '20

Currently unavailable, and unfortunately no date known when it will be back

Computer Aided Verification cover

This hardback, "Computer Aided Verification" from Serdar Tasiran & Isil Dillig, was published 8th October 2020 by Saint Philip Street Press.

ISBN: 9781013271175

Dimensions: 279mm x 216mm x 37mm

Weight: 1842g

680 pages