Suchformular

0
Startseite » Shop » 9783540453857 » Variations on Constants (kartoniertes Buch)

Variations on Constants

Lecture Notes in Computer Science 3800, Lecture Notes in Computer Science 3800 - Programming and Software Engineering

Erschienen am 02.10.2006, Auflage: 1/2006
53,49 €
(inkl. MwSt.)
exkl. Versandkosten

Lieferbar innerhalb 1 - 2 Wochen

In den Warenkorb
Bibliografische Daten
ISBN/EAN: 9783540453857
Sprache: Englisch
Umfang: xiii, 177 S.
Einband: kartoniertes Buch

Beschreibung

Inhaltsangabe1. Introduction.- 2. A Hierarchy of Constants.- 3. Deciding Constants by Effective Weakest Preconditions.- 4. Limits of Parallel Flow Analysis.- 5. Parallel Flow Graphs.- 6. Non-atomic Execution.- 7. Dependence Traces.- 8. Detecting Copy Constants and Eliminating Faint Code.- 9. Complexity in the Non-atomic Scenario.- 10. Conclusion.- A. A Primer on Constraint-Based Program Analysis.

Weitere Artikel vom Autor "Müller-Olm, Markus"

Modular Compiler Verification

Modular Compiler Verification

Müller-Olm, Markus
Verlag:Springer Verlag GmbH

Lieferbar innerhalb 1 - 2 Wochen

53,49 €
inkl. MwSt.
exkl. Versandkosten
Static Analysis

Static Analysis

Markus Müller-Olm/Helmut Seidl
Verlag:Springer Verlag GmbH

Lieferbar innerhalb 1 - 2 Wochen

53,49 €
inkl. MwSt.
exkl. Versandkosten
Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Neil Jones/Markus Müller-Olm
Verlag:Springer Verlag GmbH

Lieferbar innerhalb 1 - 2 Wochen

53,49 €
inkl. MwSt.
exkl. Versandkosten
Dependable Software Engineering. Theories, Tools, and Applications

Dependable Software Engineering. Theories, Tools, and Applications

Xinyu Feng/Markus Müller-Olm/Zijiang Yang
Verlag:Springer Verlag GmbH

Lieferbar innerhalb 1 - 2 Wochen

53,49 €
inkl. MwSt.
exkl. Versandkosten
Alle Artikel anzeigen

Weitere Artikel aus der Kategorie "Informatik, EDV/Informatik"

Basiswissen Softwaretest

Basiswissen Softwaretest

Spillner, Andreas/Linz, Tilo
Verlag:dpunkt Verlag GmbH

Lieferbar innerhalb 1 - 2 Wochen

39,90 €
inkl. MwSt.
exkl. Versandkosten
Maschinelles Lernen für Dummies

Maschinelles Lernen für Dummies

Fischer, Jörn
Verlag:Wiley-VCH GmbH

Noch nicht lieferbar

28,00 €
inkl. MwSt.
exkl. Versandkosten
Einführung in die Medieninformatik

Einführung in die Medieninformatik

Herczeg, Michael
Verlag:De Gruyter Oldenbourg

Lieferbar innerhalb 1 - 2 Wochen

39,95 €
inkl. MwSt.
exkl. Versandkosten
Handbuch IT-Projektmanagement und IT-Transformation

Handbuch IT-Projektmanagement und IT-Transformation

Ernst Tiemeyer
Verlag:Carl Hanser Verlag GmbH & Co.KG

Nachfragen

69,99 €
inkl. MwSt.
exkl. Versandkosten
Deep Learning

Deep Learning

Bishop, Christopher M/Bishop, Hugh
Verlag:Springer Verlag GmbH

Lieferbar innerhalb 1 - 2 Wochen

85,59 €
inkl. MwSt.
exkl. Versandkosten
Praxisbuch ISO/IEC 27001

Praxisbuch ISO/IEC 27001

Brenner, Michael/gentschen Felde, Nils/Hommel, Wolfgang u a
Verlag:Carl Hanser Verlag GmbH & Co.KG

Nachfragen

69,99 €
inkl. MwSt.
exkl. Versandkosten
Alle Artikel anzeigen