Hardback
Add to list Added to list Program Logics for Certified Compilers
Andrew W. Appel (Princeton University, New Jersey)
This book covers practical and theoretical separation logic suitable for graduate students. On the practical side, it covers verification in Hoare and separation logics, simple case studies, and the Verifiable…
Available to order, ships in approx 2 weeksAvailable to order