Zur Startseite gehen
0,00 €*
Cover: 9780262044905 | Principles of Abstract Interpretation | Patrick Cousot | Buch | 2021
Dekorationsartikel gehören nicht zum Leistungsumfang.
Principles of Abstract Interpretation
Buch von Patrick Cousot
Sprache: Englisch

98,25 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
"An introduction to the theory and practice of abstract interpretation, with applications to the semantics, specification, verification, and static analysis of computer programs"--
"An introduction to the theory and practice of abstract interpretation, with applications to the semantics, specification, verification, and static analysis of computer programs"--
Über den Autor
Patrick Cousot is Julius Silver, Roslyn S. Silver, and Enid Silver Winslow Professor in the Computer Science Department at New York University.
Inhaltsverzeichnis
I Introduction
II Syntax
III Trace Semantics
IV Properties and their Abstractions
V Fixpoints and their Abstractions
VI Reachability Semantics
VII Abstract Domain and Abstract Interpreter
VIII Specification and Verification
IX Cartesian Static Analysis
X Effective Fixpoint Approximation
XI Relational Static Analysis
XII Symbolic Static Analysis
XIII Backward Static Analysis
XIV Sound Static Analysis Tools
XV Conclusion
Bibliography
Author Index
Index
Symbol Index
Project Index
Details
Erscheinungsjahr: 2021
Fachbereich: Programmiersprachen
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Inhalt: Einband - fest (Hardcover)
ISBN-13: 9780262044905
ISBN-10: 0262044900
Sprache: Englisch
Einband: Gebunden
Autor: Cousot, Patrick
Hersteller: MIT Press Ltd
Maße: 259 x 186 x 35 mm
Von/Mit: Patrick Cousot
Erscheinungsdatum: 21.09.2021
Gewicht: 1,476 kg
Artikel-ID: 120330086
Über den Autor
Patrick Cousot is Julius Silver, Roslyn S. Silver, and Enid Silver Winslow Professor in the Computer Science Department at New York University.
Inhaltsverzeichnis
I Introduction
II Syntax
III Trace Semantics
IV Properties and their Abstractions
V Fixpoints and their Abstractions
VI Reachability Semantics
VII Abstract Domain and Abstract Interpreter
VIII Specification and Verification
IX Cartesian Static Analysis
X Effective Fixpoint Approximation
XI Relational Static Analysis
XII Symbolic Static Analysis
XIII Backward Static Analysis
XIV Sound Static Analysis Tools
XV Conclusion
Bibliography
Author Index
Index
Symbol Index
Project Index
Details
Erscheinungsjahr: 2021
Fachbereich: Programmiersprachen
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Inhalt: Einband - fest (Hardcover)
ISBN-13: 9780262044905
ISBN-10: 0262044900
Sprache: Englisch
Einband: Gebunden
Autor: Cousot, Patrick
Hersteller: MIT Press Ltd
Maße: 259 x 186 x 35 mm
Von/Mit: Patrick Cousot
Erscheinungsdatum: 21.09.2021
Gewicht: 1,476 kg
Artikel-ID: 120330086
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9783211822357 | Kurs in Logischer Programmierung | Norbert E. Fuchs | Taschenbuch | xi
Kurs in Logischer Programmierung
EAN: 9783211822357
Sprache: Deutsch
Von/Mit: Norbert E. Fuchs

54,99 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9781568817231 | 3D Math Primer for Graphics and Game Development | Fletcher Dunn
3D Math Primer for Graphics and Game Development
EAN: 9781568817231
Sprache: Englisch
Von/Mit: Fletcher Dunn (u. a.)

147,95 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783319789477 | Semigroups in Complete Lattices | Patrik Eklund (u. a.) | Buch | 2018
Semigroups in Complete Lattices
Quantales, Modules and Related Topics
EAN: 9783319789477
Sprache: Englisch
Von/Mit: Patrik Eklund (u. a.)

128,39 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9784431567431 | Information Geometry and Its Applications | Shun-Ichi Amari | Buch
Information Geometry and Its Applications
EAN: 9784431567431
Sprache: Englisch
Von/Mit: Shun-Ichi Amari

139,09 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781800207554 | Terraform Cookbook | Mikael Krief | Taschenbuch | Paperback | Englisch
Terraform Cookbook
Efficiently define, launch, and manage Infrastructure as Code across various cloud platforms
EAN: 9781800207554
Sprache: Englisch
Von/Mit: Mikael Krief

69,70 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781788628815 | Understanding Software | Max Kanat-Alexander | Taschenbuch | Paperback
Understanding Software
Max Kanat-Alexander on simplicity, coding, and how to suck less as a programmer
EAN: 9781788628815
Sprache: Englisch
Von/Mit: Max Kanat-Alexander

37,10 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781449319434 | Regular Expressions Cookbook | Steven Levithan | Taschenbuch | 600 S.
Regular Expressions Cookbook
EAN: 9781449319434
Sprache: Englisch
Von/Mit: Steven Levithan

57,60 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9781735266534 | 14 Habits of Highly Productive Developers | Zeno Rocha | Buch | 2021
14 Habits of Highly Productive Developers
EAN: 9781735266534
Sprache: Englisch
Von/Mit: Zeno Rocha

19,50 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781801816984 | Building Games with Flutter | Paul Teale | Taschenbuch | Paperback
Building Games with Flutter
The ultimate guide to creating multiplatform games using the Flame engine in Flutter 3
EAN: 9781801816984
Sprache: Englisch
Von/Mit: Paul Teale

68,75 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783031341434 | Programming Languages: Principles and Paradigms | Gabbrielli (u. a.)
Programming Languages: Principles and Paradigms
EAN: 9783031341434
Sprache: Englisch
Von/Mit: Maurizio Gabbrielli (u. a.)

67,90 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9780262048637 | Automata Theory | An Algorithmic Approach | Javier Esparza (u. a.)
Automata Theory
An Algorithmic Approach
EAN: 9780262048637
Sprache: Englisch
Von/Mit: Javier Esparza (u. a.)

93,75 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781805126188 | MuleSoft Platform Architect's Guide | Jitendra Bafna (u. a.) | Buch
MuleSoft Platform Architect's Guide
A practical guide to using Anypoint Platform's capabilities to architect, deliver, and operate APIs
EAN: 9781805126188
Sprache: Englisch
Von/Mit: Jitendra Bafna (u. a.)

58,95 €*

Lieferzeit 1-2 Wochen

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...