Terug Terug

Concrete Semantics: With Isabelle/Hol With Isabelle/HOL

Name: Concrete Semantics: With Isabelle/Hol
Author: Tobias Nipkow

Auteur: Tobias Nipkow

Taal: Engels

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: Tobias Nipkow Gerwin Klein

Engels
Hardcover
9783319105413
15 december 2014
298 pagina's

Alle productspecificaties

Samenvatting

Part II can be read even without familiarity with Isabelle’s proof language, all proofs are described in detail but informally.

The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts.

Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle’s structured proof language. Part II is an introduction to the semantics of imperative languages with an emphasis on applications like compilers and program analysers. The distinguishing feature is that all the mathematics has been formalised in Isabelle and much of it is executable. Part I focusses on the details of proofs in Isabelle; Part II can be read even without familiarity with Isabelle’s proof language, all proofs are described in detail but informally.

The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts. In this sense it represents a formal approach to computer science, not just semantics. The Isabelle formalisation, including the proofs and accompanying slides, are freely available online, and the book is suitable for graduate students, advanced undergraduate students, and researchers in theoretical computer science and logic.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Hardcover
Oorspronkelijke releasedatum: 15 december 2014
Aantal pagina's: 298
Illustraties: Nee

Betrokkenen

Hoofdauteur: Tobias Nipkow
Tweede Auteur: Gerwin Klein
Hoofduitgeverij: Springer

Overige kenmerken

Editie: 2014 ed.
Extra groot lettertype: Nee
Product breedte: 161 mm
Product hoogte: 25 mm
Product lengte: 244 mm
Studieboek: Ja
Verpakking breedte: 156 mm
Verpakking hoogte: 25 mm
Verpakking lengte: 230 mm
Verpakkingsgewicht: 299 g

EAN

EAN: 9783319105413

Je vindt dit artikel in

Categorieën: Computers & Informatica

Computertechnologie

Programmeren

Wiskunde voor computerwetenschappers

Compilers & interpreters

Programmeertalen

Boeken
Taal: Engels
Beschikbaarheid: Leverbaar
Boek, ebook of luisterboek?: Boek
Studieboek of algemeen: Studieboeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.