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
Semantic Technology
Ksh 8,100.00
Unconventional Computation and Natural Computation
Ksh 19,800.00
Logic Programming
Ksh 6,850.00
Writing Compilers and Interpreters
Ksh 12,250.00
Multigrammatical Framework for Knowledge-Based Digital Economy
Ksh 32,400.00
Formal Methods and Software Engineering
Ksh 8,100.00
