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 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Concrete Semantics

Name: Concrete Semantics
Brand: Springer International Publishing AG
SKU: 05147876
Price: 84.09 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

206 b

84.09 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Strafrecht - Besonderer Teil I Jörg Eisele

Broschur

44.00 €

Er wollte Hundert werden Ingeborg Feen

Hardcover

28.90 €

Das Ende einer Last Günter K. Bose

Broschur

21.49 €

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

Hardcover

123.99 €

Freier Grund Thomas Weitin

Broschur

16.90 €

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

Broschur

69.49 €

Der hohe Schein Ludwig Ganghofer

Broschur

49.90 €

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

Hardcover

9.49 €

Der Seifensieder Hermann Fischer

Broschur

34.90 €

Das Verbindende Stefan Lorenzer

Broschur

16.00 €

NI SY Je. Mel'nik

Hardcover

24.59 €

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