T. F. (University Of Glasgow) Melham
partilhar
bibliografia
-
Higher Order Logic And Hardware VerificationCAMBRIDGE UNIVERSITY PRESS07-200951,37€
-
Higher Order Logic And Hardware VerificationCAMBRIDGE UNIVERSITY PRESS11-1993148,71€