Limit this search to....

  (3 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Concrete Semantics: With Isabelle/Hol Softcover Repri Edition Nipkow, TobiasPaperback331935759X /
9783319357591		09/2016$52.24
Concrete Semantics: With Isabelle/Hol 2014 Edition Nipkow, TobiasHardcover3319105418 /
9783319105413		12/2014$80.74
Interactive Theorem Proving: 5th International Conference, Itp 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 14 2014 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci)Klein, GerwinPaperback3319089692 /
9783319089690		08/2014$52.24
  (3 items found)