Concrete Semantics : With Isabelle/HOL
Softcover reprint of the original 1st ed. 2014
Book Details
Format
Paperback / Softback
ISBN-10
331935759X
ISBN-13
9783319357591
Edition
Softcover reprint of the original 1st ed. 2014
Publisher
Springer International Publishing AG
Imprint
Springer International Publishing AG
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Sep 10th, 2016
Print length
298 Pages
Weight
490 grams
Dimensions
15.60 x 23.40 x 1.90 cms
Product Classification:
Compilers Mathematical theory of computation
Ksh 7,900.00
Werezi Extended Catalogue
Delivery Location
Delivery fee: Select location
Delivery in 28 days
Secure
Quality
Fast
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.
Get Concrete Semantics by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has pages.
Mind, Body, & Spirit
Shopping Cart
Africa largest book store
Sub Total:
Digital Library
Coming Soon
Our digital collection is currently being curated to ensure the best possible reading experience on Werezi. We'll be launching our Ebooks platform shortly.