Concrete Semantics with Isabelle/HOL Tobias Nipkow Gerwin Klein
Concrete Semantics with Isabelle/HOL Tobias Nipkow Gerwin Klein
Condition: Used - Good
Regular price
£15.00
£15.00
Regular price
Sale price
Unit price
per
Free returns
£3.95 Delivery per order
Product details
- Title: Concrete Semantics with Isabelle/HOL
- Author: Tobias Nipkow Gerwin Klein
- Type: Non-Fiction and Paperback
- Publisher: Springer
- Publication year: 2014
- ISBN: 9783319357591
- Page count: 298
- Genre: Academic and Science & Technology
- Condition description: some slight damage to front cover as shown in the photos
Delivery info
Delivery info
Delivery costs £3.95 per order. Your items may arrive in separate parcels. We aim to send all orders within 3 working days and will email you when your items are on their way (if you provide a valid email). View more delivery information.
Free Returns
Free Returns
Free returns on all items. If you’re not happy with your item, you have 30 days from receiving it to let us know. Excludes print-on-demand merchandise, view our returns policy.
Lovingly selected by our high street shops. Follow us on instagram @ShelterShops and @ShelterShopsScotland
Recently Viewed
