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

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 138 b
56.47 €
50% de chance Nous cherchons dans le monde Quand vais-je recevoir mon livre ?

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Neuronale Netze Heinrich Braun / Livre Livre de poche
common.buy 51.36 €
Le conte populaire : poétique et mythologie Courtés / Livre Livre de poche
common.buy 30.05 €
Die Schrammelgeigen Philharmonia Schrammeln Wien / Audio CD Audio
common.buy 22.83 €
Civilisation planétaire Daniel Robin / Livre Livre de poche
common.buy 17.92 €
DIFFERENCE CHANGEMENT EN THERAPIE BREVE DE SHAZER Livre Livre de poche
common.buy 20.33 €
Prise de bec Janer / Livre Livre relié
common.buy 15.82 €
Bientôt
Mein Taschencoach Susanne Marx / Livre Livre de poche
common.buy 7.20 €
Dějiny lidí Martin Rychlík / Livre Livre relié
common.buy 42.75 €
Namaiki Zakari - Frech verliebt 22 Miyuki Mitsubachi / Livre Livre de poche
common.buy 6.90 €
Neľahká cesta / Livre Livre de poche
common.buy 15.61 €
Subjektivierung 2.0 Tanja Carstensen / Livre Livre de poche
common.buy 43.05 €
Hizir Dokunsun Dualarina Mustafa Kaya / Livre Livre de poche
common.buy 13.01 €
BAÑOS DE BOSQUE. 50 RUTAS PARA SENTIR LA NATURALEZA ALEX GESSE / Livre Livre de poche
common.buy 25.53 €
Flex und Flo - Ausgabe 2014. Themenheft.2 Judith Beerbaum / Livre Feuille
common.buy 10.91 €
Mobile Device Management Strategien Jan Hommes / Livre Livre de poche
common.buy 35.44 €
Modelagem de Conhecimento em t-Governo Paloma Maria Santos / Livre Livre de poche
common.buy 228.32 €
Top
Terapia logopedyczna Edyta Joanna Lichota / Livre Livre de poche
common.buy 13.81 €
Dr. Hakan Cokerle 100 soruda Dogal Dogum Hakan Coker / Livre Livre de poche
common.buy 13.01 €
Reponse d'Un Electeur A Un Ancien Constituant Gaulier-A / Livre Livre de poche
common.buy 13.01 €
Entdecke das Mittelalter Albrecht Classen / Livre Livre relié
common.buy 14.11 €
Top Bientôt
Izraelská lobby a americká zahraniční politika John J. Mearsheimer / Livre Livre de poche
common.buy 11.51 €
AMERICA DAVID MCCULLOUGH / Livre Livre relié
common.buy 21.12 €

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 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 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 51.16 €
Hodge Podge Lodge Priscilla Lamont / Livre Livre de poche
common.buy 7.60 €
COMMON SCHOOL ENGLISH: A GRADED SERIES O JAMES G. KENNEDY / Livre Livre relié
common.buy 30.45 €
Snow Sports Trauma and Safety Irving S. Scher / Livre Livre relié
common.buy 51.16 €
Youth Encounter Programs in Israel Karen Ross / Livre Livre relié
common.buy 68.79 €
Television and Totalitarianism in Czechoslovakia Martin Štoll / Livre Livre relié
common.buy 189.66 €
Lorenzo Lotto: An Essay In Constructive Art Criticism Bernhard Berenson / Livre Livre de poche
common.buy 40.66 €
Scotch Twins Lucy Fitch Perkins / Livre numérique Adobe ePub DRM
common.buy 10.51 €
Court and Country Confectioner MR. BORELLA / Livre Livre relié
common.buy 35.94 €
What's my name? ELAINA Tiina Walsh / Livre Livre de poche
common.buy 14.72 €
Cryptids GUY BLYTHMAN / Livre Livre de poche
common.buy 18.22 €
Integral Approach to Development Economics OSHODI / Livre Livre de poche
common.buy 80.30 €
Everybody Wants to Rune the World: A Happily Everlasting World Novel Mandy M. Roth / Livre Livre de poche
common.buy 16.72 €
Wrong McElroy KL HUGHES / Livre Livre de poche
common.buy 14.21 €
Humane and Sustainable Smart Cities Takao Takahashi / Livre Livre de poche
common.buy 120.86 €
Ghost Stories of an Antiquary M. R. James / Livre Livre de poche
common.buy 6.70 €
AFM-Based Observation and Robotic Nano-manipulation Lianqing Liu / Livre Livre de poche
common.buy 102.04 €
All about EndNote 20 Bengt Edhlund / Livre Livre de poche
common.buy 40.85 €
Chasing Grace David Temple / Livre Livre de poche
common.buy 14.72 €
Advancing Software Engineering Through AI, Federated Learning, and Large Language Models Amarjeet Prajapati / Livre Livre relié
common.buy 403.97 €
THE TEACHER WHO GAVE BIRTH IN THE CLASSROOM. Guilherme Cardoso / Livre Livre de poche
common.buy 23.62 €
Nouveauté
The Kindness Seeds Amanda Johnston / Livre Livre de poche
common.buy 12.91 €
Handbook of Plastics Joining Michael J. Troughton / Livre Livre relié
common.buy 236.63 €
Urban Sediment Removal Robert Brinkmann / Livre Livre relié
common.buy 101.94 €

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 ?