+ wishlist Add to Cart The item has been added Author: Tobias Nipkow Gerwin Klein Concrete Semantics: With Isabelle/HOL [9783319357591] Buy More - Save More. Below are the available bulk discount rates for each individual item when you purchase a certain amount Quantity Price Savings 25 - 49 12% 50 - 99 13% 100+ 14% List Price As Low as $69.99 Format: Paperback
+ wishlist Add to Cart The item has been added Author: Tobias Nipkow Gerwin Klein Concrete Semantics: With Isabelle/HOL [9783319105413] Buy More - Save More. Below are the available bulk discount rates for each individual item when you purchase a certain amount Quantity Price Savings 25 - 49 12% 50 - 99 13% 100+ 14% List Price As Low as $89.99 Format: Hardcover