The Online Books Page

Concrete Semantics with Isabelle/HOL

Title:Concrete Semantics with Isabelle/HOL
Stable link here:
Subject:Automatic theorem proving
Subject:Isabelle (Computer file)
Subject:Computer logic
Call number:QA76.9 .A96 N57 2018
Other copies:Look for editions of this book at your library, or elsewhere.

Help with reading books -- Report a bad link -- Suggest a new listing

Home -- Search -- New Listings -- Authors -- Titles -- Subjects -- Serials

Books -- News -- Features -- Archives -- The Inside Story

Edited by John Mark Ockerbloom (
Data for this curated collection listing is CC0. See OBP copyrights and licenses.