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:
CompilersMathematical theory of computation
AI Summary
Ksh 9,000.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
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.
Discover books you might love based on this title.
More in This Genre
The Quadratic Unconstrained Binary Optimization Problem
Ksh 28,800.00
Service-Oriented Computing – ICSOC 2016 Workshops
Ksh 8,100.00
Numerical Solution of Ordinary Differential Equations
Ksh 11,900.00
Parallel and Distributed Computing, Applications and Technologies
Ksh 12,600.00
Technologies and Applications of Artificial Intelligence
Ksh 25,200.00
Research in Computational Molecular Biology
Ksh 10,800.00
