Concrete Semantics: With Isabelle/HOL by Tobias NipkowConcrete Semantics: With Isabelle/HOL by Tobias Nipkow

Concrete Semantics: With Isabelle/HOL

byTobias Nipkow, Gerwin Klein

Hardcover | December 15, 2014

Pricing and Purchase Info

$93.96 online 
$103.95 list price save 9%
Earn 470 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores

Title:Concrete Semantics: With Isabelle/HOLFormat:HardcoverPublished:December 15, 2014Publisher:Springer International PublishingLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3319105418

ISBN - 13:9783319105413

Look for similar items by category: