Skip to content
Home/ Concrete Semantics: With Isabelle/Hol (Softcover Reprint of the Original 1st 2014)
Concrete Semantics: With Isabelle/Hol (Softcover Reprint of the Original 1st 2014)

Concrete Semantics: With Isabelle/Hol (Softcover Reprint of the Original 1st 2014)

by Nipkow, Tobias
No customer reviews yet ISBN 9783319357591

About the author

Product details

Pub dateSep 10, 2016
ISBN-10331935759X
ISBN-139783319357591
LanguageEnglish
Last updated 2026-04-23 06:38
$73.06
In stock — ships in 24 hours with free tracking
Delivery by Wednesday, October 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Computers | Programming | Compilers
See all
Engineering a Compiler
Cooper, Keith D
$115.75
Crafting A Compiler [With Access Code]
Fischer, Charles
$254.39
Compiler Design (with CD)
Muneeswaran, K
$31.00
Austin Protocol Compiler (2005)
McGuire, Tommy M
$114.64
Essential Maple 7: An Introduction for Scientific Programmers (2002)
Corless, Robert M
$57.47
Synthesizer Generator Reference Manual (1989)
Reps, Thomas W
$114.64