Free Shipping to all UK customers for orders over £25.00

0 Total items on my wish-list.

Free Shipping to all UK customers for orders over £25.00

Ryefieldbooks Logo

Ryefield Books

Free Shipping to all UK customers for orders over £25.00

Ryefieldbooks Logo

Ryefield Books

Contact Us
[email protected]
© Copyright Ryefield Books - All Right Reserved
Product Categories
My Shopping Cart
Void image

You shopping cart is empty

You may browse our offerings to locate what you're
searching for, then put it in your shopping cart.

Book cover image

Concrete Semantics

Usually dispatched within 3 - 5 business days.

In Stock (644)

£ 53.99

Description

Part II can be read even without familiarity with Isabelle’s proof language, all proofs are described in detail but informally.The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts.

Book Details
EAN:
9783319357591
Binding:
Paperback / softback
Dimensions(mm):
156 x 234 x 19
Publication Date:
2016-09-10
Publication Country:
Switzerland