Um eUniverse.ch in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktiveren.

Concrete Semantics: With Isabelle/HOL

79.98 CHF

Versandkostenfrei

Lieferzeit: 7-14 Werktage

Artikel-Nr.: 10439815

Beschreibung

Introduction.- Programming and Proving.- Case Study: IMP Expressions.- Logic and Proof Beyond Equality.- Isar: A Language for Structured Proofs.- IMP: A Simple Imperative Language.- Compiler.- Types.- Program Analysis.- Denotational Semantics.- Hoare Logic.- Abstract Interpretation.- App. A, Auxiliary Definitions.- App. B, Symbols.- References.

Eigenschaften

Breite:	158
Gewicht:	604 g
Höhe:	241
Länge:	28
Seiten:	298
Sprachen:	Englisch
Autor:	Gerwin Klein, Tobias Nipkow

Bewertung

Menü schließen

Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.

Artikel vergleichen

Mindestens noch einen Artikel hinzufügen um Vergleich zu starten.

Bestseller Kategorie

Topseller