phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł Poczta Polska 18.99 zł ORLEN Paczka 10.99 zł
phone Kontakt phoneJak kupować

Static Analysis

Język AngielskiAngielski
Książka Miękka
Książka Static Analysis Baudouin Lecharlier
Kod Libristo: 05274432
Wydawnictwo Springer, Berlin, listopad 1993
This volume presents the proceedings of the First International Static Analysis Symposium (SAS '94),... Cały opis
? points 154 b
261.85 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Those Who Wish Me Dead Michael Koryta / Miękka
common.buy 42.30 zł
Tropical Vegetable Production Raymond A. T. George / Twarda
common.buy 792.47 zł
Particles and Cosmology E. N. Alexeev / Twarda
common.buy 596.27 zł
Text in Play Robert Baker-White / Twarda
common.buy 487.19 zł
40 kuriosesten Inseln Gabi Froböse / Miękka
common.buy 81.42 zł

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.

Informacje o książce

Pełna nazwa Static Analysis
Autor Baudouin Lecharlier
Język Angielski
Oprawa Książka - Miękka
Data wydania 1994
Liczba stron 471
EAN 9783540584858
ISBN 3540584854
Kod Libristo 05274432
Wydawnictwo Springer, Berlin
Waga 638
Wymiary 155 x 233 x 24

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo