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, SAS '93, Padova, Italy, September 22-24, 1993. Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Static Analysis Patrick Cousot
Code Libristo: 05274344
Éditeurs Springer, Berlin, novembre 1992
This volume constitutes the proceedings of the third International Workshop on Static Analysis (WSA`... Description détaillée
? points 125 b
51.65 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Los afrodisíacos naturales Kurt Hostettmann / Livre Livre de poche
common.buy 13.23 €
Calendrier mural 2016 Michael Jackson collegium / Livre Reliure à anneaux
common.buy 19.20 €
Tous partenaires de liberté - Pour en finir avec la souffrance et le rôle de victime Diane Gagnon / Livre Livre de poche
common.buy 24.96 €
LA COMMUNE DE PARIS, 18 MARS-28 MAI 1871. UNE TRAGEDIE FRANCO-FRANCAISE BIDOUZE FREDERIC Livre Livre de poche
common.buy 21.52 €
Los tres centros espirituales de la persona ROVIRA / Livre Livre de poche
common.buy 14.24 €
To lato będzie inne Fortune Carley / Livre Livre de poche
common.buy 10.60 €
El rector de Vallfogona SERES AGUILAR / Livre Livre de poche
common.buy 20.51 €
Benvenuta Daniela Berti / Livre Livre relié
common.buy 22.43 €
Opkomende mogelijkheden en toepassingen van draadloze energieoverdracht Yen Lung Chen / Livre Livre de poche
common.buy 32.04 €
Dictionnaire Du Notariat. Tome 2 BELLOT-J / Livre Livre de poche
common.buy 47.10 €
Price Iz Geta Dejan Jovanovic / Livre Livre de poche
common.buy 21.12 €
Guyane Francaise Et l'Ordre de Saint-Joseph de Cluny BERNARD-L / Livre Livre de poche
common.buy 15.56 €
Gotthold Ephraim Lessings Leben, Karl Gotthelf Lessing / Livre Livre de poche
common.buy 28.50 €
Murena. Bd.3 Jean Dufaux / Livre Livre relié
common.buy 21.02 €
Klasická hathajóga Reinhard Gammenthaler / Livre Livre de poche
common.buy 15.26 €
Cantigas y cárceles Juan Manuel Macías Chain / Livre Livre de poche
common.buy 14.85 €
Oeuvres de Moliere. Tome 5 (Ed.1873-1900) Moliere / Livre Livre de poche
common.buy 36.08 €
Syd Barrett und Pink Floyd Mike Watkinson / Livre Livre de poche
common.buy 17.07 €
Gruselkabinett - Die Katze und der Kanarienvogel, 2 Audio-CD John Willard / Audio CD Audio
common.buy 18.39 €
LES VOILES DE SAINT TROPEZ Bernard Prevost / Livre Livre de poche
common.buy 13.54 €
Die verbesserte Frau Barbara Kirchner / Livre Livre de poche
common.buy 14.85 €

This volume constitutes the proceedings of the third International Workshop on Static Analysis (WSA`93), held in Padova, Italy, in September 1993. The objective of the international workshop series WSA is to serve as a forum forthe discussion of the various aspects of static analysis indifferent programming paradigms. The clearly increasing numbers of submitted papers and workshop participants point out the growing importance of static analysis techniques forlogical, functional, concurrent and parallel languages as well as for parallel term rewriting systems. This proceedings contains, besides the abstracts or fullpapers of the invited talks given by Pascal Van Hentenryck, Peter van Roy, and Paul Hudak, full versions of the 20 contributed papers selected from a total of 68 submissionsby an international program committee consisting of many renown researchers in the field. The volume is organized in sections on fixpoint computation, concurrency, parallelism, transformation, logic programs, term rewriting systems, strictness, reasoning about programs, and types.

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 Patrick Cousot, Moreno Falaschi, Gilberto File, Antoine Rauzy
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 1993
Nombre de pages 290
EAN 9783540572640
ISBN 3540572643
Code Libristo 05274344
Éditeurs Springer, Berlin
Poids 396
Dimensions 155 x 233 x 16

Catégories

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 > 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 > Sécurité informatique > Cryptage des données
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

Quantum Engineering Sciences and Technologies for Industry and Services Frédéric Barbaresco / Livre Livre de poche
common.buy 77.23 €
Functional Programming Languages in Education Pieter Hartel / Livre Livre de poche
common.buy 51.65 €
"Understanding The Trinity Of The Triune God! Clinton H Williams / Livre Livre de poche
common.buy 21.22 €
History of the Chinese Language Dong / Livre Livre de poche
common.buy 58.52 €
Universal wisdom Danielle Rae Harrington / Livre Livre de poche
common.buy 21.12 €
Women, Crime, and Forgiveness in Early Modern Portugal Darlene Abreu-Ferreira / Livre Livre relié
common.buy 244.23 €
Life & Revelations of Anne Catherine Emmerich, Vol. 1 C E Schm'oger / Livre Livre de poche
common.buy 23.04 €
Eleven Floors Maxz McGlinchey- Milne / Livre Livre relié
common.buy 28.70 €
Against Wind and Tide Anne Morrow Lindbergh / Livre Livre de poche
common.buy 17.18 €
NATO: The Power of Partnerships H. Edström / Livre Livre de poche
common.buy 53.27 €
Territorial Force at War, 1914-16 W. Mitchinson / Livre Livre de poche
common.buy 123.53 €
Top
After I Do Taylor Jenkins Reid / Livre Livre de poche
common.buy 8.58 €
Social Policy, Political Economy and the Social Contract Jonathan Wistow / Livre Livre relié
common.buy 153.15 €
Miss Spencer and the Con Man Sandra Sookoo / Livre Livre de poche
common.buy 15.76 €
The First Rule: Book of Poems Richard Foster / Livre Livre de poche
common.buy 8.48 €
The House of a Thousand Candles Nicholson Meredith / Livre Livre de poche
common.buy 10.60 €
Body Ecology and Emersive Leisure Bernard Andrieu / Livre Livre relié
common.buy 208.95 €
My Life, My Faith Ⅰ JAEROCK LEE / Livre Livre de poche
common.buy 13.03 €
Empire's Scion: Darkspace Empire Book One B. C. Kellogg / Livre Livre de poche
common.buy 12.12 €
Parallel of the Doctrine of the Pagans, with the Doctrine of the Jesuits; And That of the Constitution Unigenitus Issued by Pope Clement XI. to Which Pierre Boyer / Livre Livre de poche
common.buy 22.23 €
Fourth Reich Mitchel Matovich / Livre Livre relié
common.buy 20.11 €
Suppressed Histroy of America Paul Schrag / Livre Livre de poche
common.buy 13.94 €
Dynamics and Trajectories Andrew Nurse / Livre Livre de poche
common.buy 26.38 €
Japanese Myths Joshua Frydman / Livre numérique Adobe ePub DRM
common.buy 17.28 €

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 ?