Vérifier l'état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Static Analysis

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

Langue AnglaisAnglais
Livre Livre de poche
Livre Static Analysis Hanne Riis Nielson
Code Libristo: 01568998
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, août 2007
This book constitutes the refereed proceedings of the 14th International Symposium on Static Analysi... Description détaillée
? points 125 b
51.66 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

La beauté du geste Rey / Livre Livre de poche
common.buy 19.40 €
Top
Tomke gräbt Julia Dürr / Livre Livre relié
common.buy 14.45 €
Discorsi di genere nelle politiche egiziane Haytham Mones / Livre Livre de poche
common.buy 32.04 €
Economía y sostenibilidad en la Amazonia Aurisa Paiva / Livre Livre de poche
common.buy 64.00 €
Abordable
Lie Down In The Light Bonnie 'Prince' Billy / Audio CD Audio
common.buy 9.39 €
Methodologie Und Praxis Der Wissenssoziologischen Diskursanalyse Reiner Keller / Livre Livre de poche
common.buy 67.43 €
Diario de Campana Jose Marti y Perez / Livre numérique Adobe ePub DRM
common.buy 1.10 €
Ernst Jünger Helmuth Kiesel / Livre Livre de poche
common.buy 17.48 €
Einhorn Malbuch: Band 1 - Von 4 bis 8 Jahren - 50 Einhornzeichnungen - Großformat, 21,6 x 28 cm Meine Feenwelt Malvorlagen / Livre Livre de poche
common.buy 7.67 €
EL ANTIGUO EGIPTO CORDON Y SOLA-SAGALES / Livre Livre de poche
common.buy 22.34 €
Hitze Sina de Malafosse / Livre Livre de poche
common.buy 11.42 €
ALTFRANZOSISCHE DUETTE 2 VIOLONS ELMA DOFLEIN Articles imprimés Partitions
common.buy 19.71 €
The Book of Nathan the Prophet: Telugu Translation Ti Burtzloff / Livre Livre de poche
common.buy 13.94 €
Barth'l'my Styx T1: La Mer Aux Esprits Rossi Anne / Livre Livre de poche
common.buy 21.63 €
Mentale Prozesse Beim Hoerverstehen in Der Fremdsprache Henning Rossa / Livre Livre relié
common.buy 83.31 €
Staudinger BGB §§ 883-902 Karl-Heinz Gursky / Livre Livre relié
common.buy 316.28 €
Qualitative Sozialforschung Thomas Heinze / Livre Livre de poche
common.buy 37.81 €
SAN JUDAS 27 (La catedral del dolor) / Livre Livre de poche
common.buy 22.34 €
Germanen und Slaven Georg Buschan / Livre Livre de poche
common.buy 11.72 €
Horoskopdeutung für den Vater Sina Nuêmo / Livre Livre de poche
common.buy 17.89 €
Es werde Licht Frido Mann / Livre Livre de poche
common.buy 13.54 €
Die Sendung der Lysistrata, 3 DVDs Klaus Dudenhöfer / Video DVD
common.buy 16.57 €
Struttura Dell'Anima Jeffrey Wolf Green / Livre Livre de poche
common.buy 23.15 €

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.

Actrice & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Static Analysis
Auteur Hanne Riis Nielson, Gilberto Filé
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2007
Nombre de pages 469
EAN 9783540740605
ISBN 3540740600
Code Libristo 01568998
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 741
Dimensions 155 x 235 x 27

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Informatique et technologies de l’information > Systèmes d’exploitation
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Maudsley Practice Guidelines for Physical Health Conditions in Psychiatry David Taylor / Livre Livre de poche
common.buy 60.05 €
Top
March of Folly Barbara Wertheim Tuchman / Livre Livre de poche
common.buy 19.40 €
Paine Field Steve K. Bertrand / Livre Livre de poche
common.buy 20.82 €
Nols Bear Essentials John Gookin / Livre Livre de poche
common.buy 9.09 €
I Love You Every Second Sandra A. Hinds / Livre Livre de poche
common.buy 21.22 €
Recollections of Siberia Charles Herbert Cottrell / Livre Livre relié
common.buy 38.21 €
Hunger Knut Hamsun / Livre Livre de poche
common.buy 8.08 €
Reconstructive Oral and Maxillofacial Surgery Carlos Navarro Vila / Livre Livre de poche
common.buy 120.82 €
Children of Morwena Helene Smith / Livre Livre de poche
common.buy 13.74 €
Bientôt
Swiss Neutrality EDGAR / Livre Livre de poche
common.buy 58.84 €
Transformative Witchcraft Jason Mankey / Livre Livre de poche
common.buy 20.01 €
ESSAYS ON THE APOCALYPSE, WITH ILLUSTRAT RICHARD B SANDERSON / Livre Livre relié
common.buy 33.56 €
Histoire du Théatre Français, Depuis le Commencement de la Révolution Jusqu'? la Réunion Générale C. G. Etienne / Livre Livre de poche
common.buy 21.22 €
Top
Middle Ages Eleanor Janega / Livre Livre de poche
common.buy 18.09 €
Mixed Race Student Politics James Ong / Livre Livre de poche
common.buy 15.56 €
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 / Livre Livre de poche
common.buy 34.27 €
Modeling Economic Instability Michaël Assous / Livre Livre relié
common.buy 113.24 €
Top
Virginia Woolf Collection Virginia Woolf / Livre Livre de poche
common.buy 36.90 €
Swami Vivekananda Info Edge / Livre Livre de poche
common.buy 15.56 €
French Windows Louise Rogers Lalaurie / Livre Livre relié
common.buy 18.09 €
Data Communications & Networks - An Engineering Approach David Harle / Livre Livre relié
common.buy 80.78 €
Diagnostic Function Tests in Chemical Pathology P.T. Lascelles / Livre Livre de poche
common.buy 123.65 €
Temperature- and Supply Voltage-Independent Time References for Wireless Sensor Networks, 1 Valentijn De Smedt / Livre Livre relié
common.buy 102.93 €
Silent Ones William Brodrick / Livre Livre de poche
common.buy 12.22 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?