ISBN-13: 9783319105413
Hardcover
298 Pages
Concrete Semantics: With Isabelle/Hol (2014)
by Tobias Nipkow, Gerwin Klein
Rent This Book
Returns in 60 days
$32.69/ 60 days
Please Note: Rental books are typically used and do not come with any unused access code cards.
Free returns on all rentals
Product Details
ISBN-139783319105413
ISBN-103319105418
PublisherSpringer
Published2014-12-15
Edition1
LanguageEnglish
FormatHardcover
Pages298