LIBRISTO
LIBROAMANTO
verplicht
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 DHL koeriersdienst 5.49 GLS koerier 4.99 DPD-punt 3.99

Gratis verzending vanaf 59,99 euro.

Principles of Program Analysis

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Principles of Program Analysis Flemming Nielson
Libristo-code: 01566854
Program analysis concerns static techniques for computing reliable approximate information about the... Volledige beschrijving
? points 195 b
80.71
In extern magazijn Wordt binnen 10-13 dagen verzonden

Retourneren binnen 30 dagen


Klanten kochten ook


Čezeta a skútry J.F.Kocha Martin Kusý / Boek Gebonden (harde band)
common.buy 68.76
Broderie perlée Haute-couture Kyoko Sugiura / Boek Gebonden (paperback)
common.buy 25.11
Cocuk Psikolojisi Jean Piaget / Boek Gebonden (paperback)
common.buy 12.24
Amor inmortal Kathryn Smith / Boek Gebonden (paperback)
common.buy 11.23
Moderne Kunst 1870-2000. Vom Impressionismus bis heute, m. 2 Buch Hans Werner Holzwarth / Boek Gebonden (harde band)
common.buy 55.19
Formelbuch der Harmonielehre Martin A. Schmid / Boek Gebonden (paperback)
common.buy 17.61
Risikomanagement und Risikocontrolling in Industrieunternehmen Aynur Halici / Boek Gebonden (paperback)
common.buy 25.11
Sens- und Nonsens-Gedichte - Das Beste aus Band 1-3 Brigitte Riederer / Boek Gebonden (paperback)
common.buy 31.29
Kaiser Maximilian I. Karl Klüpfel / Boek Gebonden (paperback)
common.buy 26.83
It Management Approach Essential Tomohisa Fujii / Boek Gebonden (paperback)
common.buy 38.27

Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant


TOP
The Theoretical Minimum Leonard Susskind / Boek Gebonden (paperback)
common.buy 14.47
Wordt verwacht
The Amusement Park Stephen M. Silverman / Boek Gebonden (harde band)
common.buy 35.95
Keys to Becoming a Virtuous Woman Jenkins / Boek Gebonden (paperback)
common.buy 9.92
C.H.A.O.S. Randy Pippin / Boek Gebonden (paperback)
common.buy 26.02
Human Gametes and Preimplantation Embryos David K. Gardner / Boek Gebonden (paperback)
common.buy 110.89
Dictionary of Literary Symbols Michael Ferber / Boek Gebonden (harde band)
common.buy 133.78
TOP
Effective Java Joshua Bloch / Boek Gebonden (paperback)
common.buy 43.74
Bicycle Made for Two Lisa Firth / Boek Gebonden (paperback)
common.buy 9.31
Linear Optimization for Business Marcos Singer / Boek Gebonden (paperback)
common.buy 95.09
Vei, Volume 1 Sara Bergmark Elfgren / Boek Gebonden (harde band)
common.buy 23.79
Arendt: A Guide for the Perplexed Karin A Fry / Boek Gebonden (harde band)
common.buy 154.55
Latin Prose Composition Andrew Leigh / Boek Gebonden (paperback)
common.buy 26.53
TOP
Polyvagal Flip Chart Deb Dana / Boek Ringband
common.buy 41.41
Scientific Epistemology Hilary Kornblith / Boek Gebonden (paperback)
common.buy 33.01
Topological Methods in Data Analysis and Visualization V Shigeo Takahashi / Boek Gebonden (paperback)
common.buy 206.00
Warships of the Soviet Fleets 1939-1945, Volume I: Major Combatants Marek Twardowsk / Boek Gebonden (harde band)
common.buy 87.30
Russian Translation Edna Andrews / E-book Adobe ePub DRM
common.buy 72.81
Poetry for my beloved Daughter ISIS / Boek Gebonden (paperback)
common.buy 17.21
PLAIN JAYNE KENNEDY JAYNE / Boek Gebonden (harde band)
common.buy 22.37
Egyptian Tales: Volume 2 William Matthew Flinders Petrie / Boek Gebonden (paperback)
common.buy 33.72
Men Who Migrate, Women Who Wait Caroline B. Brettell / Boek Gebonden (harde band)
common.buy 138.34
Maturing Usability Effie Lai-Chong Law / Boek Gebonden (paperback)
common.buy 154.55
Armenians in Hamburg Caroline Thon / Boek Gebonden (paperback)
common.buy 21.77

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?