Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
Print Material
Author Nipkow, Tobias, 1958-

Title Concrete Semantics With Isabelle / Hol / Tobias Nipkpw, Gerwin Klein.

Imprint Cham : Springer International Publishing, 2014.

Copies

Location Call No. OPAC Message Status
 Axe 3rd Floor Stacks  005.1 N625c 2014    ---  Available
1 copy being processed for Axe Acquisitions Order.
Description xiii, 298 p. : ill. ; 24 cm.
Bibliography Includes bibliographic references and index.
Contents 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
Subject Automatic theorem proving.
Computer science.
Logic design.
Added Author Klein, Gerwin.
ISBN 9783319105413
3319105418

 
    
Available items only