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

Dimensions: 279mm x 216mm x 30mm

Weight: 1565g

558 pages