Computer Aided Verification PDF

Name: Computer Aided Verification
Price: 13.19 EUR
Availability: OnlineOnly
Rating: 4.8 (31 reviews)
ISBN: 9783642142949

Date de parution

TAILLE DU FICHIER	5.97 MB
ISBN	9783642142949
AUTEUR	Byron Cook
FICHIER	Computer Aided Verification.pdf
DATE	08/05/2020

Event, When, Where, Deadline. CAV 2020, Computer Aided Verification. Jun 21, 2020 - Jun 24, 2020, Los Angeles, USA, Jan 23, 2020. CAV 2019, 31st ...