Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Static Analysis

14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Static Analysis Hanne Riis Nielson
Kod Libristo: 01568998
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, sierpień 2007
This book constitutes the refereed proceedings of the 14th International Symposium on Static Analysi... Cały opis
? points 125 b
222.38 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

ALTFRANZOSISCHE DUETTE 2 VIOLONS ELMA DOFLEIN Prasa Nuty
common.buy 84.28 zł
TOP
Tomke gräbt Julia Dürr / Książka Twarda
common.buy 62.06 zł
Discorsi di genere nelle politiche egiziane Haytham Mones / Książka Miękka
common.buy 138.20 zł
Economía y sostenibilidad en la Amazonia Aurisa Paiva / Książka Miękka
common.buy 275.79 zł
Tanie
Lie Down In The Light Bonnie 'Prince' Billy / Audio CD Audio
common.buy 40.56 zł
Methodologie Und Praxis Der Wissenssoziologischen Diskursanalyse Reiner Keller / Książka Miękka
common.buy 290.47 zł
Pack práctico. Administrativo/a. Servicio Andaluz de Salud (SAS) / Książka Miękka
common.buy 340.00 zł
Diario de Campana Jose Marti y Perez / E-book Adobe ePub DRM
common.buy 4.58 zł
Ernst Jünger Helmuth Kiesel / Książka Miękka
common.buy 75.21 zł
Einhorn Malbuch: Band 1 - Von 4 bis 8 Jahren - 50 Einhornzeichnungen - Großformat, 21,6 x 28 cm Meine Feenwelt Malvorlagen / Książka Miękka
common.buy 32.91 zł
EL ANTIGUO EGIPTO CORDON Y SOLA-SAGALES / Książka Miękka
common.buy 96.41 zł
Hitze Sina de Malafosse / Książka Miękka
common.buy 49.12 zł
The Book of Nathan the Prophet: Telugu Translation Ti Burtzloff / Książka Miękka
common.buy 59.92 zł
La beauté du geste Rey / Książka Miękka
common.buy 82.85 zł
Barth'l'my Styx T1: La Mer Aux Esprits Rossi Anne / Książka Miękka
common.buy 92.33 zł
Mentale Prozesse Beim Hoerverstehen in Der Fremdsprache Henning Rossa / Książka Twarda
common.buy 358.65 zł
Staudinger BGB §§ 883-902 Karl-Heinz Gursky / Książka Twarda
common.buy 1 362.07 zł
Qualitative Sozialforschung Thomas Heinze / Książka Miękka
common.buy 162.96 zł
SAN JUDAS 27 (La catedral del dolor) / Książka Miękka
common.buy 96.20 zł
Germanen und Slaven Georg Buschan / Książka Miękka
common.buy 50.34 zł
Horoskopdeutung für den Vater Sina Nuêmo / Książka Miękka
common.buy 76.84 zł
Es werde Licht Frido Mann / Książka Miękka
common.buy 58.39 zł
Die Sendung der Lysistrata, 3 DVDs Klaus Dudenhöfer / Wideo DVD
common.buy 71.54 zł
Struttura Dell'Anima Jeffrey Wolf Green / Książka Miękka
common.buy 99.77 zł

This book constitutes the refereed proceedings of the 14th International Symposium on Static Analysis, SAS 2007, held in Kongens Lyngby, Denmark in August 2007 - co-located with LOPSTR 2007, the International Symposium on Logic-based Program Synthesis and Transformation and PLID 2007, the International Workshop on Programming Language Interference and Dependence.§The 22 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 85 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimisations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Static Analysis
Autor Hanne Riis Nielson, Gilberto Filé
Język Angielski
Oprawa Książka - Miękka
Data wydania 2007
Liczba stron 469
EAN 9783540740605
ISBN 3540740600
Kod Libristo 01568998
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 741
Wymiary 155 x 235 x 27

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) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
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

Mogłoby Cię także zainteresować

Tanie
Maudsley Practice Guidelines for Physical Health Conditions in Psychiatry David Taylor / Książka Miękka
common.buy 255.81 zł
TOP
March of Folly Barbara Wertheim Tuchman / Książka Miękka
common.buy 83.77 zł
Paine Field Steve K. Bertrand / Książka Miękka
common.buy 89.48 zł
Nols Bear Essentials John Gookin / Książka Miękka
common.buy 39.33 zł
I Love You Every Second Sandra A. Hinds / Książka Miękka
common.buy 74.49 zł
Recollections of Siberia Charles Herbert Cottrell / Książka Twarda
common.buy 164.69 zł
Hunger Knut Hamsun / Książka Miękka
common.buy 34.85 zł
Reconstructive Oral and Maxillofacial Surgery Carlos Navarro Vila / Książka Miękka
common.buy 520.20 zł
Children of Morwena Helene Smith / Książka Miękka
common.buy 59.10 zł
Zapowiedź
Swiss Neutrality EDGAR / Książka Miękka
common.buy 265.39 zł
Transformative Witchcraft Jason Mankey / Książka Miękka
common.buy 74.39 zł
ESSAYS ON THE APOCALYPSE, WITH ILLUSTRAT RICHARD B SANDERSON / Książka Twarda
common.buy 144.41 zł
Histoire du Théatre Français, Depuis le Commencement de la Révolution Jusqu'? la Réunion Générale C. G. Etienne / Książka Miękka
common.buy 91.41 zł
Middle Ages Eleanor Janega / Książka Miękka
common.buy 77.76 zł
Mixed Race Student Politics James Ong / Książka Miękka
common.buy 67.26 zł
Memoirs of the Life and Writings of James Montgomery: Including Selections from His Correspondence, Remains in Prose and Verse, and Conversations on V James Montgomery / Książka Miękka
common.buy 147.47 zł
Modeling Economic Instability Michaël Assous / Książka Twarda
common.buy 487.48 zł
TOP
Virginia Woolf Collection Virginia Woolf / Książka Miękka
common.buy 159.60 zł
Swami Vivekananda Info Edge / Książka Miękka
common.buy 67.05 zł
French Windows Louise Rogers Lalaurie / Książka Twarda
common.buy 77.76 zł
Zapowiedź
Mathilda Mary Wollstonecraft Shelley / Książka Miękka
common.buy 41.98 zł
Diagnostic Function Tests in Chemical Pathology P.T. Lascelles / Książka Miękka
common.buy 487.48 zł
Temperature- and Supply Voltage-Independent Time References for Wireless Sensor Networks, 1 Valentijn De Smedt / Książka Twarda
common.buy 443.35 zł
Silent Ones William Brodrick / Książka Miękka
common.buy 51.05 zł

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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?