Computer Aided Verification
Alan J. Hu, Moshe y. Vardi
₹5,376
Author
Books by Alan J. Hu
Showing 1–2 of 2 books
Formal Methods in Computer-Aided Design
Alan J. Hu, Andrew K. Martin
₹5,605
Author
Showing 1–2 of 2 books
Alan J. Hu, Moshe y. Vardi
₹5,376
Alan J. Hu, Andrew K. Martin
₹5,605