☰

Concrete Semantics: With Isabelle/HOL

R 2,537

or 4 x payments of R634.25 with Payflex

Availability: Currently in Stock

Delivery: 10-20 working days

Condition: USED (All books are in used condition)

Condition - Very Good
The item shows wear from consistent use, but it remains in good condition and functions properly. Item may arrive with damaged packaging or be repackaged. It may be marked, have identifying markings on it, or have minor cosmetic damage. It may also be missing some parts/accessories or bundled items.

Concrete Semantics: With Isabelle/HOL
Country USA
Brand Springer
Manufacturer Springer
Binding Paperback
ItemPartNumber 86 black & white illustrations, 1 colour
ReleaseDate 2016-10-28
UnitCount 1
EANs 9783319357591

Customers who purchased this also purchased....

The Art of the Kama Sutra: The New Illustrated Edition of the Classic Indian Guide to Sexual Pleasure (The Art of Wisdom)

God's Generals: Why They Succeeded and Why Some Failed

Gods Generals: The Roaring Reformers by LIARDON ROBERTS (2003-07-01)

Math-U-See Primer Introduction to Math Instruction Pack

Math-U-See, Primer Introduction to Math, Instruction Manual

The Irish Girl: A Novel (Deverill Chronicles, 1)

Kevin Kwan Crazy Rich Asians Trilogy Collection 3 Books Set Pack (Crazy Rich Asians, China Rich Girlfriend, Rich People Problems)

101 Questions on How to Play Chess (Dover Chess)

Country	USA
Brand	Springer
Manufacturer	Springer
Binding	Paperback
ItemPartNumber	86 black & white illustrations, 1 colour
ReleaseDate	2016-10-28
UnitCount	1
EANs	9783319357591