Computer Aided Verification

Serdar Tasiran author Isil Dillig author

Format:Paperback

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 paperback, "Computer Aided Verification" from Serdar Tasiran & Isil Dillig, was published 8th October 2020 by Saint Philip Street Press.

ISBN: 9781013271144

Dimensions: 279mm x 216mm x 29mm

Weight: 1275g

558 pages