Introduction to Static Analysis : An Abstract Interpretation Perspective
Xavier (Research Director, INRIA Paris-Rocquencourt) Rival
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Spreadsheet Implementation Technology : Basics and Extensions
Peter Sestoft
Download - Immediately Available
Format: eBook (PDF)