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
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 €
phone Contact phoneComment faire ses achats

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 132 b
53.79 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Hitze Sina de Malafosse / Livre Livre de poche
common.buy 13.00 €
The Book of Nathan the Prophet: Telugu Translation Ti Burtzloff / Livre Livre de poche
common.buy 14.49 €
Tomke gräbt Julia Dürr / Livre Livre relié
common.buy 17.00 €
Discorsi di genere nelle politiche egiziane Haytham Mones / Livre Livre de poche
common.buy 33.59 €
Economía y sostenibilidad en la Amazonia Aurisa Paiva / Livre Livre de poche
common.buy 66.99 €
Struttura Dell'Anima Jeffrey Wolf Green / Livre Livre de poche
common.buy 24.09 €
Methodologie Und Praxis Der Wissenssoziologischen Diskursanalyse Reiner Keller / Livre Livre de poche
common.buy 70.29 €
Diario de Campana Jose Marti y Perez / Livre numérique Adobe ePub DRM
common.buy 1.09 €
Ernst Jünger Helmuth Kiesel / Livre Livre de poche
common.buy 20.00 €
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.99 €
Abordable
Lie Down In The Light Bonnie 'Prince' Billy / Audio CD Audio
common.buy 16.99 €
EL ANTIGUO EGIPTO CORDON Y SOLA-SAGALES / Livre Livre de poche
common.buy 22.99 €
Es werde Licht Frido Mann / Livre Livre de poche
common.buy 15.00 €
ALTFRANZOSISCHE DUETTE 2 VIOLONS ELMA DOFLEIN Articles imprimés Partitions
common.buy 20.39 €
La beauté du geste Rey / Livre Livre de poche
common.buy 20.09 €
Qualitative Sozialforschung Thomas Heinze / Livre Livre de poche
common.buy 39.99 €
Germanen und Slaven Georg Buschan / Livre Livre de poche
common.buy 12.90 €
Barth'l'my Styx T1: La Mer Aux Esprits Rossi Anne / Livre Livre de poche
common.buy 22.29 €
Mentale Prozesse Beim Hoerverstehen in Der Fremdsprache Henning Rossa / Livre Livre relié
common.buy 86.29 €
Staudinger BGB §§ 883-902 Karl-Heinz Gursky / Livre Livre relié
common.buy 329.19 €
Die Sendung der Lysistrata, 3 DVDs Klaus Dudenhöfer / Video DVD
common.buy 17.19 €
SAN JUDAS 27 (La catedral del dolor) / Livre Livre de poche
common.buy 23.29 €
Horoskopdeutung für den Vater Sina Nuêmo / Livre Livre de poche
common.buy 19.80 €

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 pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes 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

Transformative Witchcraft Jason Mankey / Livre Livre de poche
common.buy 20.89 €
Adaptive Education Robert van Wynsberghe / Livre Livre relié
common.buy 61.89 €
March of Folly Barbara Wertheim Tuchman / Livre Livre de poche
common.buy 20.39 €
Paine Field Steve K. Bertrand / Livre Livre de poche
common.buy 21.89 €
Nols Bear Essentials John Gookin / Livre Livre de poche
common.buy 9.59 €
I Love You Every Second Sandra A. Hinds / Livre Livre de poche
common.buy 21.99 €
Hunger Knut Hamsun / Livre Livre de poche
common.buy 8.39 €
Reconstructive Oral and Maxillofacial Surgery Carlos Navarro Vila / Livre Livre de poche
common.buy 126.09 €
Children of Morwena Helene Smith / Livre Livre de poche
common.buy 14.19 €
Swiss Neutrality EDGAR / Livre Livre de poche
common.buy 61.09 €
ESSAYS ON THE APOCALYPSE, WITH ILLUSTRAT RICHARD B SANDERSON / Livre Livre relié
common.buy 34.79 €
Top
Maudsley Practice Guidelines for Physical Health Conditions in Psychiatry David Taylor / Livre Livre de poche
common.buy 61.79 €
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.99 €
Middle Ages Eleanor Janega / Livre Livre de poche
common.buy 19.09 €
Mixed Race Student Politics James Ong / Livre Livre de poche
common.buy 16.19 €
Modeling Economic Instability Michaël Assous / Livre Livre relié
common.buy 117.99 €
Top
Virginia Woolf Collection Virginia Woolf / Livre Livre de poche
common.buy 38.89 €
Swami Vivekananda Info Edge / Livre Livre de poche
common.buy 16.09 €
French Windows Louise Rogers Lalaurie / Livre Livre relié
common.buy 19.09 €
Bientôt
Mathilda Mary Wollstonecraft Shelley / Livre Livre de poche
common.buy 10.29 €
Fresh Fruit, Broken Bodies Seth M Holmes / Livre Livre de poche
common.buy 29.59 €
Diagnostic Function Tests in Chemical Pathology P.T. Lascelles / Livre Livre de poche
common.buy 117.99 €
Temperature- and Supply Voltage-Independent Time References for Wireless Sensor Networks, 1 Valentijn De Smedt / Livre Livre relié
common.buy 107.29 €
Silent Ones William Brodrick / Livre Livre de poche
common.buy 13.59 €

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 ?