by Gordon Stewart (Contributor), Aquinas Hobor (Contributor), Gordon Stewart (Contributor), Xavier Leroy (Contributor), Robert Dockins (Contributor), Josiah Dodds (Contributor), Sandrine Blazy (Contributor), Andrew W. Appel (Author), Lennart Beringer (Contributor)
This tutorial for graduate students covers practical and theoretical aspects of separation logic with constructions and proofs in Coq.
Format: Hardcover
Pages: 472
Publisher: Cambridge University Press
Published: 21 Apr 2014
ISBN 10: 110704801X
ISBN 13: 9781107048010
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
