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

Third International Symposium, Aachen, Germany, September 24-26, 1996. Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Static Analysis Radhia Cousot
Code Libristo: 05274620
Éditeurs Springer, Berlin, novembre 1995
This book constitutes the refereed proceedings of the Third International Static Analysis Symposium,... Description détaillée
? points 125 b
51.56 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Une politique europeenne Etienne Grosclaude / Livre Livre relié
common.buy 16.14 €
Lettres Sur La Situation de la France Au Temps Actuel Sans Auteur / Livre Livre de poche
common.buy 13.62 €
Rapport Sur Le Prix Le Dissez de Penanrun: Lu Dans La Seance Du 18 Mai 1899 Sans Auteur / Livre Livre de poche
common.buy 11.90 €
Dragon Ball Z. Saiyanos 03 Daruma Serveis Lingüístics / Livre Livre de poche
common.buy 14.93 €
Keine Angst vor Bakterien! Max O. Bruker / Livre Livre de poche
common.buy 14.22 €
Bałwanek Świąteczne activity z wykrojnikiem Opracowanie Zbiorowe / Livre Livre de poche
common.buy 2.21 €
Zur Dynamik von Ehescheidungen. Henriette Engelhardt / Livre Livre de poche
common.buy 84.77 €
BEBE LEON, BEBE LEON, ¡TIENES QUE ENCONTRAR TU COLOR! MO / Livre Livre
common.buy 29.76 €

This book constitutes the refereed proceedings of the Third International Static Analysis Symposium, SAS '96, held in Aachen, Germany, in September 1996 in conjunction with ALP and PLILP.The volume presents 22 highly-quality revised full papers selected from a total of 79 submissions; also included are three system descriptions and invited contributions by Alex Aiken (abstract only), Flemming Nielson, and Bernhard Steffen. Among the topics addressed are program analysis, incremental analysis, abstract interpretation, partial evaluation, logic programming, functional programming, and constraint programming.

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, David A. Schmidt
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 1996
Nombre de pages 398
EAN 9783540617396
ISBN 3540617396
Code Libristo 05274620
Éditeurs Springer, Berlin
Poids 524
Dimensions 156 x 234 x 21

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

TAX HAVENS Kacou Antoine N'zi / Livre Livre de poche
common.buy 61.25 €
Generalist Practice with Organizations and Communities, International Edition Grafton H Hull / Livre Livre de poche
common.buy 113.03 €
The Handy Book of Bees A Pettigrew / Livre Livre relié
common.buy 32.49 €
What's the Weather? Shelley Rotner / Livre Livre relié
common.buy 15.43 €
Butchered Dreams Hadena James / Livre Livre de poche
common.buy 14.83 €
Fields of Praise Marilyn Nelson / Livre Livre de poche
common.buy 32.59 €
Observations on the Disturbances in the Madras Army in 1809 Malcolm / Livre Livre relié
common.buy 33.50 €
Thoughts and Commentary Dale L Netherton / Livre Livre relié
common.buy 32.59 €
Bientôt
Multicultural Behavior and Global Business Environments Kamal Dean Parhizgar / Livre Livre relié
common.buy 68.52 €
productivity and profitability of intercropping in rabi cereal, legume, oilseeds, and spices under rice (Oryza sativa L.) based cropping system Manish Kumar Singh / Livre Livre de poche
common.buy 42.68 €
Language, Print and Electoral Politics, 1790-1832 Hannah Barker / Livre Livre relié
common.buy 78.92 €
Children's Literature Review Tom Burns / Livre Livre relié
common.buy 580.02 €
Remaking governance Janet Newman / Livre Livre de poche
common.buy 42.99 €
Time-Dependent Fracture A.S. Krausz / Livre Livre de poche
common.buy 51.56 €
Top
Great Sea David Abulafia / Livre Livre de poche
common.buy 18.76 €

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 ?