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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Concrete Semantics

With Isabelle/HOL

Tobias Nipkow

Gerwin Klein

Sprache

Englisch

Buch Broschur

Libristo-Code: 14208399

Verlag Springer International Publishing AG, September 2016

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

Libristo-Code: 14208399

139 b

56.89 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

The Pigman - Textband mit Annotationen Paul Zindel

Broschur

11.39 €

Strom života Amedeo Cencini

Broschur

9.19 €

Incidence de la Consommation Du Bois Sur La Mangrove de Sangar yah Keita-M

Broschur

58.09 €

Královna Kunhuta a Záviš - audioknihovna Hana Whitton

binding.

10.99 €

The Quintessence 1944-1946 New York-Hollywood Nat King Cole

Audio CD

26.49 €

Kontrolle der Finanzströme Jan-Philipp Rock

Broschur

19.00 €

Anspruch Auf Ein Patent Und Das Recht an Der Erfindung Georg Wilhelm Häberlein

Broschur

54.99 €

VIH LE VIRUS DE L INTEGRATION PASQUIO DOMINIQUE Buch

Broschur

23.29 €

Escalade "hors pistes" à Fontainebleau Montchausse

Broschur

33.69 €

Magic Maze: Zwielichtige Gestalten [Erweiterung]

Spiel

9.95 €

Alternativy (dějin) filosofie Zdeněk Kratochvíl

Broschur

10.79 €

Prinzessin Sissi, 1 DVD Fritz Thiery

DVD

11.79 €

Multiplícate por cero Juan Bonilla

Broschur

12.79 €

Conceptos básicos de estadística para ciencias sociales José Juan Cáceres Hernández

Broschur

33.79 €

Japoneries d'Automne Loti-P

Broschur

23.19 €

Sieben, 1 Blu-ray Richard Francis-Bruce

Blu-ray

14.99 €

Les Papiers Secrets Des Tuileries. Papiers Et Correspondances de la Famille Imperiale. Le Dossier SANS AUTEUR

Broschur

12.29 €

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.

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 - Broschur

Datum der Veröffentlichung 2016

Anzahl der Seiten 298

EAN 9783319357591

ISBN 331935759X

Libristo-Code 14208399

Verlag Springer International Publishing AG

Gewicht 4745

Abmessungen 155 x 235 x 18

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