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 142 b
58.56 €
Stockage externe en petites quantités Expédition sous 14-21 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Neuronale Netze Heinrich Braun / Livre Livre de poche
common.buy 51.88 €
Top
Izraelská lobby a americká zahraniční politika John J. Mearsheimer / Livre Livre de poche
common.buy 10.71 €
Prise de bec Janer / Livre Livre relié
common.buy 17.19 €
DIFFERENCE CHANGEMENT EN THERAPIE BREVE DE SHAZER Livre Livre de poche
common.buy 21.84 €
Civilisation planétaire Daniel Robin / Livre Livre de poche
common.buy 19.41 €
Bientôt
Mein Taschencoach Susanne Marx / Livre Livre de poche
common.buy 7.27 €
Subjektivierung 2.0 Tanja Carstensen / Livre Livre de poche
common.buy 43.49 €
BAÑOS DE BOSQUE. 50 RUTAS PARA SENTIR LA NATURALEZA ALEX GESSE / Livre Livre de poche
common.buy 25.99 €
Goethe ALS Geschichtsphilosoph Und Die Geschichtsphilosophische Bewegung Seiner Zeit Emil Menke-Glückert / Livre Livre de poche
common.buy 22.35 €
Flex und Flo - Ausgabe 2014. Themenheft.2 Judith Beerbaum / Livre Feuille
common.buy 11.02 €
Mobile Device Management Strategien Jan Hommes / Livre Livre de poche
common.buy 35.70 €
Dr. Hakan Cokerle 100 soruda Dogal Dogum Hakan Coker / Livre Livre de poche
common.buy 13.14 €
Modelagem de Conhecimento em t-Governo Paloma Maria Santos / Livre Livre de poche
common.buy 57.85 €
Entdecke das Mittelalter Albrecht Classen / Livre Livre relié
common.buy 14.25 €
AMERICA DAVID MCCULLOUGH / Livre Livre relié
common.buy 21.54 €
Terapia logopedyczna Edyta Joanna Lichota / Livre Livre de poche
common.buy 11.62 €
Hizir Dokunsun Dualarina Mustafa Kaya / Livre Livre de poche
common.buy 13.14 €
Reponse d'Un Electeur A Un Ancien Constituant Gaulier-A / Livre Livre de poche
common.buy 13.14 €

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.68 €
Hodge Podge Lodge Priscilla Lamont / Livre Livre de poche
common.buy 7.68 €
COMMON SCHOOL ENGLISH: A GRADED SERIES O JAMES G. KENNEDY / Livre Livre relié
common.buy 30.74 €
Integral Approach to Development Economics OSHODI / Livre Livre de poche
common.buy 81.12 €
Snow Sports Trauma and Safety Irving S. Scher / Livre Livre relié
common.buy 51.68 €
Lorenzo Lotto: An Essay In Constructive Art Criticism Bernhard Berenson / Livre Livre de poche
common.buy 41.06 €
The Poems of Jonathan Swift Voulme II Jonathan Swift / Livre Livre de poche
common.buy 22.85 €
Scotch Twins Lucy Fitch Perkins / Livre numérique Adobe ePub DRM
common.buy 10.61 €
Court and Country Confectioner MR. BORELLA / Livre Livre relié
common.buy 36.41 €
What's my name? ELAINA Tiina Walsh / Livre Livre de poche
common.buy 14.86 €
Cryptids GUY BLYTHMAN / Livre Livre de poche
common.buy 18.40 €
Urban Sediment Removal Robert Brinkmann / Livre Livre relié
common.buy 102.97 €
Everybody Wants to Rune the World: A Happily Everlasting World Novel Mandy M. Roth / Livre Livre de poche
common.buy 16.88 €
Wrong McElroy KL HUGHES / Livre Livre de poche
common.buy 16.28 €
Humane and Sustainable Smart Cities Takao Takahashi / Livre Livre de poche
common.buy 122.49 €
Ghost Stories of an Antiquary M. R. James / Livre Livre de poche
common.buy 6.77 €
AFM-Based Observation and Robotic Nano-manipulation Lianqing Liu / Livre Livre de poche
common.buy 102.97 €
All about EndNote 20 Bengt Edhlund / Livre Livre de poche
common.buy 43.99 €
Advancing Software Engineering Through AI, Federated Learning, and Large Language Models Amarjeet Prajapati / Livre Livre relié
common.buy 408.26 €
THE TEACHER WHO GAVE BIRTH IN THE CLASSROOM. Guilherme Cardoso / Livre Livre de poche
common.buy 23.86 €
Creative Imagination in the Sufism of Ibn 'Arabi Henry Corbin / Livre Livre relié
common.buy 188.34 €
Naukratis I and II, Hawara, Biahmu, and Arsinoe William Matthew Flinders PetrieErnest A. Gardner / Livre Livre de poche
common.buy 59.27 €
Fishes, Fishers and Waves of Change in Nggela, Solomon Islands Reuben John Sulu / Livre Livre de poche
common.buy 79.90 €
Kingdom of God as Liturgical Empire - A Theological Commentary on 1-2 Chronicles Scott W. Hahn / Livre Livre de poche
common.buy 30.13 €

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 ?