
Formal Methods in Computer-Aided Design
Alan J. Hu, Andrew K. Martin
₹5,605

by John Lakos
Free delivery. Nothing extra to pay at checkout.
Geared to practical aspects of the C++ programming language, this book demonstrates how to design large systems. The author explains the process of decomposing large systems into physical hierarchies of smaller, more manageable components. This book concl
Description supplied by the publisher.