Skip to content
Vinony

Computer aided verification

by Nicolas Halbwachs, Doron Peled

Cover of Computer aided verification

No description available.

Enginyeria del softwareDisseny lògicCongressosLlenguatges formalsComputer software, verificationComputer softwareCongressesVerificationIntegrated circuitsVerificatieSoftware
Computer aided verification by Nicolas Halbwachs, Doron Peled — book · Vinony