Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Static Analysis

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Static Analysis Hanne Riis Nielson
Libristo kod: 01568998
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, kolovoz 2007
This book constitutes the refereed proceedings of the 14th International Symposium on Static Analysi... Cijeli opis
? points 125 b
51.78 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

La beauté du geste Rey / Knjiga Meki uvez
common.buy 18.54 €
Top
Tomke gräbt Julia Dürr / Knjiga Tvrdi uvez
common.buy 14.48 €
Discorsi di genere nelle politiche egiziane Haytham Mones / Knjiga Meki uvez
common.buy 32.12 €
Economía y sostenibilidad en la Amazonia Aurisa Paiva / Knjiga Meki uvez
common.buy 64.14 €
Povoljno
Lie Down In The Light Bonnie 'Prince' Billy / Audio Audio CD
common.buy 12.46 €
Methodologie Und Praxis Der Wissenssoziologischen Diskursanalyse Reiner Keller / Knjiga Meki uvez
common.buy 67.59 €
Diario de Campana Jose Marti y Perez / E-knjiga Adobe ePub DRM
common.buy 1.00 €
Ernst Jünger Helmuth Kiesel / Knjiga Meki uvez
common.buy 17.52 €
Einhorn Malbuch: Band 1 - Von 4 bis 8 Jahren - 50 Einhornzeichnungen - Großformat, 21,6 x 28 cm Meine Feenwelt Malvorlagen / Knjiga Meki uvez
common.buy 7.69 €
EL ANTIGUO EGIPTO CORDON Y SOLA-SAGALES / Knjiga Meki uvez
common.buy 20.56 €
Hitze Sina de Malafosse / Knjiga Meki uvez
common.buy 11.44 €
ALTFRANZOSISCHE DUETTE 2 VIOLONS ELMA DOFLEIN Tiskanica Note
common.buy 18.84 €
The Book of Nathan the Prophet: Telugu Translation Ti Burtzloff / Knjiga Meki uvez
common.buy 13.98 €
Barth'l'my Styx T1: La Mer Aux Esprits Rossi Anne / Knjiga Meki uvez
common.buy 20.56 €
Mentale Prozesse Beim Hoerverstehen in Der Fremdsprache Henning Rossa / Knjiga Tvrdi uvez
common.buy 79.55 €
Staudinger BGB §§ 883-902 Karl-Heinz Gursky / Knjiga Tvrdi uvez
common.buy 317.00 €
Qualitative Sozialforschung Thomas Heinze / Knjiga Meki uvez
common.buy 37.89 €
SAN JUDAS 27 (La catedral del dolor) / Knjiga Meki uvez
common.buy 22.39 €
Germanen und Slaven Georg Buschan / Knjiga Meki uvez
common.buy 11.75 €
Horoskopdeutung für den Vater Sina Nuêmo / Knjiga Meki uvez
common.buy 17.93 €
Es werde Licht Frido Mann / Knjiga Meki uvez
common.buy 13.57 €
Die Sendung der Lysistrata, 3 DVDs Klaus Dudenhöfer / Video DVD
common.buy 16.61 €
Struttura Dell'Anima Jeffrey Wolf Green / Knjiga Meki uvez
common.buy 23.20 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Static Analysis
Autor Hanne Riis Nielson, Gilberto Filé
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2007
Broj stranica 469
EAN 9783540740605
ISBN 3540740600
Libristo kod 01568998
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 741
Dimenzije 155 x 235 x 27

Kategorija

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Maudsley Practice Guidelines for Physical Health Conditions in Psychiatry David Taylor / Knjiga Meki uvez
common.buy 57.76 €
Top
March of Folly Barbara Wertheim Tuchman / Knjiga Meki uvez
common.buy 19.45 €
Paine Field Steve K. Bertrand / Knjiga Meki uvez
common.buy 19.55 €
Nols Bear Essentials John Gookin / Knjiga Meki uvez
common.buy 9.11 €
I Love You Every Second Sandra A. Hinds / Knjiga Meki uvez
common.buy 21.27 €
Recollections of Siberia Charles Herbert Cottrell / Knjiga Tvrdi uvez
common.buy 38.30 €
Hunger Knut Hamsun / Knjiga Meki uvez
common.buy 8.10 €
Reconstructive Oral and Maxillofacial Surgery Carlos Navarro Vila / Knjiga Meki uvez
common.buy 121.10 €
Children of Morwena Helene Smith / Knjiga Meki uvez
common.buy 13.77 €
Pripremamo
Swiss Neutrality EDGAR / Knjiga Meki uvez
common.buy 61.81 €
Transformative Witchcraft Jason Mankey / Knjiga Meki uvez
common.buy 20.06 €
ESSAYS ON THE APOCALYPSE, WITH ILLUSTRAT RICHARD B SANDERSON / Knjiga Tvrdi uvez
common.buy 33.64 €
Histoire du Théatre Français, Depuis le Commencement de la Révolution Jusqu'? la Réunion Générale C. G. Etienne / Knjiga Meki uvez
common.buy 21.27 €
Top
Middle Ages Eleanor Janega / Knjiga Meki uvez
common.buy 18.13 €
Mixed Race Student Politics James Ong / Knjiga Meki uvez
common.buy 15.60 €
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 / Knjiga Meki uvez
common.buy 34.35 €
Modeling Economic Instability Michaël Assous / Knjiga Tvrdi uvez
common.buy 113.50 €
Top
Virginia Woolf Collection Virginia Woolf / Knjiga Meki uvez
common.buy 36.88 €
Swami Vivekananda Info Edge / Knjiga Meki uvez
common.buy 15.60 €
French Windows Louise Rogers Lalaurie / Knjiga Tvrdi uvez
common.buy 18.13 €
Data Communications & Networks - An Engineering Approach David Harle / Knjiga Tvrdi uvez
common.buy 80.97 €
Diagnostic Function Tests in Chemical Pathology P.T. Lascelles / Knjiga Meki uvez
common.buy 118.36 €
Temperature- and Supply Voltage-Independent Time References for Wireless Sensor Networks, 1 Valentijn De Smedt / Knjiga Tvrdi uvez
common.buy 103.16 €
Silent Ones William Brodrick / Knjiga Meki uvez
common.buy 11.85 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?