Kids Library Home

Welcome to the Kids' Library!

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

Available items only
Print Material
Author Nipkow, Tobias.

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

Imprint Cham : Springer International Publishing, 2014.


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

Available items only