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

17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Static Analysis Radhia Cousot
Code Libristo: 01656632
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembre 2010
This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysi... Description détaillée
? points 148 b
60.49 € TVA incluse
Stockage externe en petites quantités Expédition sous 9-15 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Neuronale Netze Heinrich Braun / Livre Livre de poche
common.buy 54.99 €
Reponse d'Un Electeur A Un Ancien Constituant Gaulier-A / Livre Livre de poche
common.buy 14.19 €
Subjektivierung 2.0 Tanja Carstensen / Livre Livre de poche
common.buy 45.29 €
Prise de bec Janer / Livre Livre relié
common.buy 17.69 €
DIFFERENCE CHANGEMENT EN THERAPIE BREVE DE SHAZER Livre Livre de poche
common.buy 22.49 €
Civilisation planétaire Daniel Robin / Livre Livre de poche
common.buy 19.89 €
BAÑOS DE BOSQUE. 50 RUTAS PARA SENTIR LA NATURALEZA ALEX GESSE / Livre Livre de poche
common.buy 26.89 €
Bientôt
Mein Taschencoach Susanne Marx / Livre Livre de poche
common.buy 7.95 €
Goethe ALS Geschichtsphilosoph Und Die Geschichtsphilosophische Bewegung Seiner Zeit Emil Menke-Glückert / Livre Livre de poche
common.buy 24.90 €
Hizir Dokunsun Dualarina Mustafa Kaya / Livre Livre de poche
common.buy 13.69 €
Flex und Flo - Ausgabe 2014. Themenheft.2 Judith Beerbaum / Livre Feuille
common.buy 11.39 €
Mobile Device Management Strategien Jan Hommes / Livre Livre de poche
common.buy 39.99 €
Terapia logopedyczna Edyta Joanna Lichota / Livre Livre de poche
common.buy 12.09 €
Top
Izraelská lobby a americká zahraniční politika John J. Mearsheimer / Livre Livre de poche
common.buy 11.19 €
Entdecke das Mittelalter Albrecht Classen / Livre Livre relié
common.buy 16.80 €
AMERICA DAVID MCCULLOUGH / Livre Livre relié
common.buy 22.29 €

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2010, held in Perpignan, France in September 2010. The conference was co-located with 3 affiliated workshops: NSAD 2010 (Workshop on Numerical and Symbolic Abstract Domains), SASB 2010 (Workshop on Static Analysis and Systems Biology) and TAPAS 2010 (Tools for Automatic Program Analysis).§The 22 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 58 submissions. The papers address all aspects of static analysis including abstract domains, bug detection, data flow analysis, logic programming, systems analysis, type inference, cache analysis, flow analysis, verification, abstract testing, compiler optimization and program verification.

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 Radhia Cousot, Matthieu Martel
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2010
Nombre de pages 473
EAN 9783642157684
ISBN 3642157688
Code Libristo 01656632
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 727
Dimensions 157 x 235 x 28

Catégories

Informatique et technologies de l’information > Applications graphiques et applications médias numériques > Graphisme 3D et modélisation
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Algorithmes et structures des données
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

Business Process Management Wil M.P. van der Aalst / Livre Livre de poche
common.buy 53.79 €
COMMON SCHOOL ENGLISH: A GRADED SERIES O JAMES G. KENNEDY / Livre Livre relié
common.buy 31.79 €
Integral Approach to Development Economics OSHODI / Livre Livre de poche
common.buy 79.89 €
Lorenzo Lotto: An Essay In Constructive Art Criticism Bernhard Berenson / Livre Livre de poche
common.buy 42.59 €
The Poems of Jonathan Swift Voulme II Jonathan Swift / Livre Livre de poche
common.buy 23.69 €
Scotch Twins Lucy Fitch Perkins / Livre numérique Adobe ePub DRM
common.buy 10.99 €
What's my name? ELAINA Tiina Walsh / Livre Livre de poche
common.buy 15.39 €
Cryptids GUY BLYTHMAN / Livre Livre de poche
common.buy 19.09 €
Hodge Podge Lodge Priscilla Lamont / Livre Livre de poche
common.buy 8.09 €
Everybody Wants to Rune the World: A Happily Everlasting World Novel Mandy M. Roth / Livre Livre de poche
common.buy 17.49 €
Wrong McElroy KL HUGHES / Livre Livre de poche
common.buy 16.99 €
Humane and Sustainable Smart Cities Takao Takahashi / Livre Livre de poche
common.buy 126.69 €
Ghost Stories of an Antiquary M. R. James / Livre Livre de poche
common.buy 6.99 €
AFM-Based Observation and Robotic Nano-manipulation Lianqing Liu / Livre Livre de poche
common.buy 107.29 €
All about EndNote 20 Bengt Edhlund / Livre Livre de poche
common.buy 45.59 €
Advancing Software Engineering Through AI, Federated Learning, and Large Language Models Amarjeet Prajapati / Livre Livre relié
common.buy 422.79 €
Race Without A Finish Line: America's Quest fo For Total Qualtiy W.H. Schmidt / Livre Livre relié
common.buy 45.59 €
Urban Sediment Removal Robert Brinkmann / Livre Livre relié
common.buy 107.29 €
Woggle-Bug Book Lyman Fr. Baum / Livre Livre de poche
common.buy 8.49 €
Naukratis I and II, Hawara, Biahmu, and Arsinoe William Matthew Flinders PetrieErnest A. Gardner / Livre Livre de poche
common.buy 61.39 €
Fishes, Fishers and Waves of Change in Nggela, Solomon Islands Reuben John Sulu / Livre Livre de poche
common.buy 83.09 €
Kingdom of God as Liturgical Empire - A Theological Commentary on 1-2 Chronicles Scott W. Hahn / Livre Livre de poche
common.buy 31.29 €
Report of the Comptroller, Volume 2 New York (N y. ). Comptroller's Office / Livre Livre relié
common.buy 45.59 €
Katyn and the Soviet Massacre of 1940 George Sanford / Livre Livre relié
common.buy 215.89 €

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 ?