Principles of Abstract Interpretation | Buch | preigu

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

Cover: 9780262044905 | Principles of Abstract Interpretation | Patrick Cousot | Buch | 2021

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

92,20 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

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
Seiten:	816
Inhalt:	Einband - fest (Hardcover)
ISBN-13:	9780262044905
ISBN-10:	0262044900
Sprache:	Englisch
Einband:	Gebunden
Autor:	Cousot, Patrick
Besonderheit:	Unsere Aufsteiger
Hersteller:	MIT Press Ltd
Maße:	259 x 186 x 35 mm
Von/Mit:	Patrick Cousot
Erscheinungsdatum:	21.09.2021
Gewicht:	1,476 kg

preigu-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
Seiten:	816
Inhalt:	Einband - fest (Hardcover)
ISBN-13:	9780262044905
ISBN-10:	0262044900
Sprache:	Englisch
Einband:	Gebunden
Autor:	Cousot, Patrick
Besonderheit:	Unsere Aufsteiger
Hersteller:	MIT Press Ltd
Maße:	259 x 186 x 35 mm
Von/Mit:	Patrick Cousot
Erscheinungsdatum:	21.09.2021
Gewicht:	1,476 kg

preigu-id: 120330086

Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch

Cover: 9781484217443 | Broken Agile | Second Edition | Tim J. Brizard | Taschenbuch | ix

EAN: 9781484217443

Sprache: Englisch

Von/Mit: Tim J. Brizard

23,45 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9783658064327 | Theoretische Informatik | Juraj Hromkovic | Taschenbuch

Theoretische Informatik

Formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie

EAN: 9783658064327

Sprache: Deutsch

Von/Mit: Juraj Hromkovi¿

59,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9781449394707 | Clojure Programming: Practical LISP for the Java World | Taschenbuch

Clojure Programming: Practical LISP for the Java World

EAN: 9781449394707

Sprache: Englisch

Von/Mit: Chas Emerick (u. a.)

46,45 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9780135263075 | EDGE | Value-Driven Digital Transformation | Jim Highsmith (u. a.)

Value-Driven Digital Transformation

EAN: 9780135263075

Sprache: Englisch

Von/Mit: David Robinson (u. a.)

36,45 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781800569553 | Microsoft Power Apps Cookbook | Eickhel Mendoza | Taschenbuch | 2021

Microsoft Power Apps Cookbook

Become a pro Power Apps maker by applying practical use cases to solve ever-evolving business challenges

EAN: 9781800569553

Sprache: Englisch

Von/Mit: Eickhel Mendoza

54,60 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9780596008673 | Head First Object-Oriented Analysis and Design | Mclaughlin (u. a.)

Head First Object-Oriented Analysis and Design

A Brain Friendly Guide to OOA&D

EAN: 9780596008673

Sprache: Englisch

Von/Mit: Brett Mclaughlin (u. a.)

61,80 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9780134495491 | OpenGL Programming Guide | John Kessenich (u. a.) | Taschenbuch | 2016

OpenGL Programming Guide

The Official Guide to Learning OpenGL, Version 4.5 with SPIR-V

EAN: 9780134495491

Sprache: Englisch

Von/Mit: John Kessenich (u. a.)

56,60 €*

Lieferzeit 1-2 Wochen

Buch

Cover: 9783842109353 | Sicher im Internet | Mareile Heiting | Buch | 278 S. | Deutsch | 2022

Sicher im Internet

Der Ratgeber für mehr Sicherheit am PC und im Internet. So schützen Sie sich vor Hacking, Computerviren und...

EAN: 9783842109353

Sprache: Deutsch

Von/Mit: Mareile Heiting

19,90 €*

Lieferzeit 1-2 Werktage

Taschenbuch

Cover: 9781803248714 | C++20 STL Cookbook | Bill Weinman | Taschenbuch | Paperback | Englisch

C++20 STL Cookbook

Leverage the latest features of the STL to solve real-world problems

EAN: 9781803248714

Sprache: Englisch

Von/Mit: Bill Weinman

49,70 €*

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9783662677810 | Large-Scale Agile Frameworks | Sascha Block | Taschenbuch | Paperback

Large-Scale Agile Frameworks

Agile Frameworks, Agile Infrastructure and Pragmatic Solutions for Digital Transformation

EAN: 9783662677810

Sprache: Englisch

Von/Mit: Sascha Block

47,90 €*

Lieferzeit 4-7 Werktage

Taschenbuch

Cover: 9781804611104 | Flask Framework Cookbook - Third Edition | Shalabh Aggarwal | Buch

Flask Framework Cookbook - Third Edition

Enhance your Flask skills with advanced techniques and build dynamic, responsive web applications

EAN: 9781804611104

Sprache: Englisch

Von/Mit: Shalabh Aggarwal

49,45 €*

Lieferzeit 1-2 Wochen