14 results on '"Nipkow, Tobias"'
Search Results
2. Isar: a Language for Structured Proofs
3. Denotational Semantics
4. Abstract Interpretation
5. Case Study: IMP Expressions
6. IMP: A Simple Imperative Language
7. Compiler
8. Logic and Proof Beyond Equality
9. Programming and Proving
10. Program Analysis
11. Introduction
12. Hoare Logic
13. BackMatter.
14. FrontMatter.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.