10% OFF

Concrete Semantics

With Isabelle/Hol

by Gerwin Klein e Tobias Nipkow
language: english
Publisher: Springer International Publishing AG, September of 2016 ‧
67,58€
10% OFF CARD
free shipping
Sell ​​your book
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.

Concrete Semantics

With Isabelle/Hol

by Gerwin Klein e Tobias Nipkow

Property Description
ISBN: 9783319357591
Publisher: Springer International Publishing AG
Release Date: September of 2016
Language: English
Dimensions: 155 x 235 x 17 mm
Cover: Softcover
Pages: 298
Format: Book
Categories: Books in English > Computing > Schedule
Books in English > Others
EAN: 9783319357591