Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994

Status

Rate

Check Later

Product Links

Authors

David L. Dill

Subjects

Vérification Essais Verification Ordinateurs Logiciels Congrès Electronic Digital Computers Computer Software Evaluation Congresses

Reviews (0) see more

Seems like you haven't provided a review

Don't miss the opportunity to share your thoughts!

Similar Books

Similar Movies

Similar TV Series

Similar Games