Home / Search / Concrete Semantics: With Isabelle/Hol (2014)
ISBN-13 · 9783319105413ISBN-10 · 3319105418Publisher · SpringerFormat · Hardcover, 298 pagesPublished · 2014Language · English
Concrete Semantics: With Isabelle/Hol (2014)
Rent this book
Free return shipping includedTotal rental price$32.69
Please Note: Rental books are typically used and do not come with any unused access code cards.
Return by 2026-10-26. Prepaid return label included; extend at any point for the difference in price.
Buy from a seller
Bookface-OutletShips from CA
GoodTypical used book with minor wear and signs of use. May have some highlighting or writing.
64.33