Formal Methods for Eternal Networked Software Systems
Marco Bernardo, Valerie Issarny
₹5,669
Author
Books by Marco Bernardo
Showing 1–3 of 3 books
Formal Methods for Hardware Verification
Marco Bernardo, Alessandro Cimatti
₹5,499
Formal Methods for Model-Driven Engineering
Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio
₹5,672