Nipkow, Tobias, <br/><br/>
Concrete semantics :  with isabelle/hol / 
Tobias Nipkow, Gerwin Klein. 
 - xiii, 298 páginas :  87 ilustraciones, 1 ilustraciones en color. 
<br/><br/> Springer eBooks 
<br/><br/>Introduction -- Programming and Proving -- Case Study: IMP Expressions -- Logic and Proof Beyond Equality -- Isar: A Language for Structured Proofs -- IMP: A Simple Imperative Language -- Compiler -- Types -- Program Analysis -- Denotational Semantics -- Hoare Logic -- Abstract Interpretation -- App. A, Auxiliary Definitions -- App. B, Symbols -- References. 
<br/><br/><label>ISBN: </label>9783319105420 
<br/><br/><label>LC Class. No.: </label>QA76.9.L63