
Formal Methods Applied to Complex Systems
Jean-Louis Boulanger
₹11,732

The Abstract Interpretation
by Jean-Louis Boulanger, Jean-Louis Boulanger
Wiley & Sons, Incorporated, John · 2013
Free delivery. Nothing extra to pay at checkout.
Offer
Use code GIG9 at checkout and pay ₹4,385 for this book (save ₹434).
9% off every book, up to ₹500 off per order.
Static Analysis of Software: The Abstract Interpretation is written by Jean-Louis Boulanger. This edition is published by Wiley & Sons, Incorporated, John (2013).
Its main subjects are Debugging in computer science, Quality control, Testing and Computer software.