by Gordon Stewart (Contributor), Aquinas Hobor (Contributor), Gordon Stewart (Contributor), Lennart Beringer (Contributor), Andrew W. Appel (Author), Sandrine Blazy (Contributor), Josiah Dodds (Contributor), Robert Dockins (Contributor), Xavier Leroy (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
