Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Concrete Semantics

Name: Concrete Semantics
Brand: Springer International Publishing AG
SKU: 05147876
Price: 80.76 EUR
Availability: InStock
Author: Tobias Nipkow
ISBN: 9783319105413

With Isabelle/HOL

Tobias Nipkow

Gerwin Klein

Sprache

Englisch

Buch Hardcover

Libristo-Code: 05147876

Verlag Springer International Publishing AG, Dezember 2014

Part I of this book is a practical introduction to working with the Isabelle proof assistant. It tea... Vollständige Beschreibung

Libristo-Code: 05147876

195 b

80.76 €

Externes Lager Wir versenden in 10-13 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Er wollte Hundert werden Ingeborg Feen

Hardcover

25.93 €

Das Ende einer Last Günter K. Bose

Broschur

20.77 €

Strafrecht - Besonderer Teil I Jörg Eisele

Broschur

41.64 €

Studien zum 8. und 9. Jahrhundert in Byzanz Friedhelm Winkelmann

Hardcover

119.38 €

Freier Grund Thomas Weitin

Broschur

15.29 €

Diseño y confección de moda. Patronaje. Las bases. Vol. 2 DOMINIQUE PELLEN

Broschur

67.38 €

Der hohe Schein Ludwig Ganghofer

Broschur

44.58 €

Můj táta je zvíře Philip Bunting

Hardcover

9.01 €

Der Seifensieder Hermann Fischer

Broschur

31.31 €

Das Verbindende Stefan Lorenzer

Broschur

13.57 €

NI SY Je. Mel'nik

Hardcover

19.45 €

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 and researchers in theoretical computer science and logic.§

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Concrete Semantics

Autor Tobias Nipkow, Gerwin Klein

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2014

Anzahl der Seiten 298

EAN 9783319105413

ISBN 3319105418

Libristo-Code 05147876

Verlag Springer International Publishing AG

Gewicht 5915

Abmessungen 155 x 235 x 28

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert