Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Static Analysis

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

Limba englezăengleză
Carte Carte broșată
Carte Static Analysis Hanne Riis Nielson
Codul Libristo: 01568998
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, august 2007
This book constitutes the refereed proceedings of the 14th International Symposium on Static Analysi... Descrierea completă
? points 132 b
284.91 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Hitze Sina de Malafosse / Carte Carte broșată
common.buy 63.14 lei
The Book of Nathan the Prophet: Telugu Translation Ti Burtzloff / Carte Carte broșată
common.buy 76.54 lei
Tomke gräbt Julia Dürr / Carte Copertă tare
common.buy 80.49 lei
Discorsi di genere nelle politiche egiziane Haytham Mones / Carte Carte broșată
common.buy 178.03 lei
Economía y sostenibilidad en la Amazonia Aurisa Paiva / Carte Carte broșată
common.buy 354.92 lei
Struttura Dell'Anima Jeffrey Wolf Green / Carte Carte broșată
common.buy 127.44 lei
Methodologie Und Praxis Der Wissenssoziologischen Diskursanalyse Reiner Keller / Carte Carte broșată
common.buy 372.27 lei
Ernst Jünger Helmuth Kiesel / Carte Carte broșată
common.buy 97.11 lei
Einhorn Malbuch: Band 1 - Von 4 bis 8 Jahren - 50 Einhornzeichnungen - Großformat, 21,6 x 28 cm Meine Feenwelt Malvorlagen / Carte Carte broșată
common.buy 42.16 lei
Leftin
Lie Down In The Light Bonnie 'Prince' Billy / Audio Audio CD
common.buy 49.33 lei
EL ANTIGUO EGIPTO CORDON Y SOLA-SAGALES / Carte Carte broșată
common.buy 117.05 lei
Es werde Licht Frido Mann / Carte Carte broșată
common.buy 75.30 lei
ALTFRANZOSISCHE DUETTE 2 VIOLONS ELMA DOFLEIN Materiale tipărite Note muzicale
common.buy 103.86 lei
La beauté du geste Rey / Carte Carte broșată
common.buy 102.10 lei
Qualitative Sozialforschung Thomas Heinze / Carte Carte broșată
common.buy 208.98 lei
Germanen und Slaven Georg Buschan / Carte Carte broșată
common.buy 64.91 lei
Barth'l'my Styx T1: La Mer Aux Esprits Rossi Anne / Carte Carte broșată
common.buy 113.31 lei
Mentale Prozesse Beim Hoerverstehen in Der Fremdsprache Henning Rossa / Carte Copertă tare
common.buy 436.25 lei
Staudinger BGB §§ 883-902 Karl-Heinz Gursky / Carte Copertă tare
common.buy 1 743.07 lei
Die Sendung der Lysistrata, 3 DVDs Klaus Dudenhöfer / Videoclip DVD
common.buy 91.09 lei
SAN JUDAS 27 (La catedral del dolor) / Carte Carte broșată
common.buy 123.49 lei
Horoskopdeutung für den Vater Sina Nuêmo / Carte Carte broșată
common.buy 98.88 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Static Analysis
Autor Hanne Riis Nielson, Gilberto Filé
Limba engleză
Legare Carte - Carte broșată
Data publicării 2007
Număr pagini 469
EAN 9783540740605
ISBN 3540740600
Codul Libristo 01568998
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 741
Dimensiuni 155 x 235 x 27

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Transformative Witchcraft Jason Mankey / Carte Carte broșată
common.buy 110.51 lei
Adaptive Education Robert van Wynsberghe / Carte Copertă tare
common.buy 298.10 lei
March of Folly Barbara Wertheim Tuchman / Carte Carte broșată
common.buy 108.33 lei
Paine Field Steve K. Bertrand / Carte Carte broșată
common.buy 109.26 lei
Nols Bear Essentials John Gookin / Carte Carte broșată
common.buy 50.58 lei
I Love You Every Second Sandra A. Hinds / Carte Carte broșată
common.buy 116.53 lei
Hunger Knut Hamsun / Carte Carte broșată
common.buy 44.55 lei
Reconstructive Oral and Maxillofacial Surgery Carlos Navarro Vila / Carte Carte broșată
common.buy 667.47 lei
Children of Morwena Helene Smith / Carte Carte broșată
common.buy 75.30 lei
Swiss Neutrality EDGAR / Carte Carte broșată
common.buy 323.76 lei
ESSAYS ON THE APOCALYPSE, WITH ILLUSTRAT RICHARD B SANDERSON / Carte Copertă tare
common.buy 184.05 lei
Top
Maudsley Practice Guidelines for Physical Health Conditions in Psychiatry David Taylor / Carte Carte broșată
common.buy 314.51 lei
Histoire du Théatre Français, Depuis le Commencement de la Révolution Jusqu'? la Réunion Générale C. G. Etienne / Carte Carte broșată
common.buy 116.53 lei
Middle Ages Eleanor Janega / Carte Carte broșată
common.buy 101.06 lei
Mixed Race Student Politics James Ong / Carte Carte broșată
common.buy 85.68 lei
Modeling Economic Instability Michaël Assous / Carte Copertă tare
common.buy 624.88 lei
Virginia Woolf Collection Virginia Woolf / Carte Carte broșată
common.buy 205.97 lei
Swami Vivekananda Info Edge / Carte Carte broșată
common.buy 85.48 lei
French Windows Louise Rogers Lalaurie / Carte Copertă tare
common.buy 101.06 lei
Curând
Mathilda Mary Wollstonecraft Shelley / Carte Carte broșată
common.buy 54.52 lei
Fresh Fruit, Broken Bodies Seth M Holmes / Carte Carte broșată
common.buy 149.88 lei
Diagnostic Function Tests in Chemical Pathology P.T. Lascelles / Carte Carte broșată
common.buy 624.88 lei
Temperature- and Supply Voltage-Independent Time References for Wireless Sensor Networks, 1 Valentijn De Smedt / Carte Copertă tare
common.buy 568.27 lei
Silent Ones William Brodrick / Carte Carte broșată
common.buy 71.77 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?