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

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 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é

Une politique europeenne Etienne Grosclaude / Livre Livre relié
common.buy 16.89 €
Rapport Sur Le Prix Le Dissez de Penanrun: Lu Dans La Seance Du 18 Mai 1899 Sans Auteur / Livre Livre de poche
common.buy 13.19 €
Dragon Ball Z. Saiyanos 03 Daruma Serveis Lingüístics / Livre Livre de poche
common.buy 18.99 €
Keine Angst vor Bakterien! Max O. Bruker / Livre Livre de poche
common.buy 16.80 €
Bałwanek Świąteczne activity z wykrojnikiem Opracowanie Zbiorowe / Livre Livre de poche
common.buy 2.19 €

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 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, 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 64.19 €
Multicultural Behavior and Global Business Environments Kamal Dean Parhizgar / Livre Livre relié
common.buy 71.29 €
What's the Weather? Shelley Rotner / Livre Livre relié
common.buy 16.29 €
Butchered Dreams Hadena James / Livre Livre de poche
common.buy 15.39 €
Fields of Praise Marilyn Nelson / Livre Livre de poche
common.buy 33.69 €
Observations on the Disturbances in the Madras Army in 1809 Malcolm / Livre Livre relié
common.buy 34.79 €
Thoughts and Commentary Dale L Netherton / Livre Livre relié
common.buy 33.69 €
Great Sea David Abulafia / Livre Livre de poche
common.buy 19.99 €
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 44.79 €
Language, Print and Electoral Politics, 1790-1832 Hannah Barker / Livre Livre relié
common.buy 82.39 €
Children's Literature Review Tom Burns / Livre Livre relié
common.buy 600.69 €
Remaking governance Janet Newman / Livre Livre de poche
common.buy 44.89 €
Time-Dependent Fracture A.S. Krausz / Livre Livre de poche
common.buy 53.79 €
Generalist Practice with Organizations and Communities, International Edition Grafton H Hull / Livre Livre de poche
common.buy 117.09 €

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 ?