All Formats & Editions
1 - 2 of 2 results found
Concrete Semantics: With Isabelle/Hol
By Gerwin Klein and Tobias Nipkow
Edition Description
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.-...
Edition Details
Format:Paperback
Language:English
ISBN:331935759X
Format: Paperback
Condition:
$
69.99
Concrete Semantics: With Isabelle/Hol
By Gerwin Klein and Tobias Nipkow
Edition Description
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.-...
Edition Details
Format:Hardcover
Language:English
ISBN:3319105418
Format: Hardcover
Condition:
$
89.99
Copyright © 2026 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
