[email protected]
Wir antworten innerhalb von 24 Stunden
Kontakt
Wie einkaufen
Hilfe
Versand
Österreichische Post 5.99 €
DPD-Kurier 6.49 €
GLS-Kurier 4.49 €
Kaufberater
Wir sind für Sie da!
[email protected]
Mein Konto
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen.
Konto kostenlos anlegen
▸
Leer :-(
0
Static Analysis
Sprache
Englisch
Englisch
Buch
Broschur
This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94),...
Vollständige Beschreibung
Libristo-Code: 05274432
?
161 b
161 b
64.16
€
inkl. MwSt.
Externes Lager in kleiner Menge
Wir versenden in 13-16 Tagen
30 Tage für die Rückgabe der Ware
Das könnte Sie auch interessieren
This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94), held in Namur, Belgium in September 1994.The proceedings comprise 25 full refereed papers selected from 70 submissions as well as four invited contributions by Charles Consel, Saumya K. Debray, Thomas W. Getzinger, and Nicolas Halbwachs. The papers address staticanalysis aspects for various programming paradigms and cover the following topics: generic algorithms for fixpoint computations; program optimization, transformation and verification; strictness-related analyses; type-based analyses and type inference; dependency analyses and abstract domain construction.
Informationen zum Buch
Vollständiger Name
Static Analysis
Autor
Baudouin Lecharlier
Sprache
Englisch
Englisch
Einband
Buch - Broschur
Datum der Veröffentlichung
1994
Anzahl der Seiten
471
EAN
9783540584858
ISBN
3540584854
Libristo-Code
05274432
Verlag
Springer, Berlin
Gewicht
638
Abmessungen
155 x 233 x 24
Kategorie
EDV und Informationstechnologie
>
Computerprogrammierung und Softwareentwicklung
>
Compiler und Übersetzer
EDV und Informationstechnologie
>
Computerprogrammierung und Softwareentwicklung
>
Programmier- und Skriptsprachen, allgemein
