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.49 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Static Analysis

8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings

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

Politique de retour sous 30 jours

Les clients ont également acheté

El Born CC GARCIA ESPUCHE / Livre Livre
common.buy 16.48 €
Malá noční můra Ondřej Červinka / Livre Livre de poche
common.buy 1.10 €
Legge sull'edilizia e lo sviluppo, Consiglio di pianificazione dello sviluppo regionale Dr. Ir. Juni Gultom / Livre Livre de poche
common.buy 61.39 €
Top
Золото в темной ночи (Потомки Первых #1) Лия Арден / Livre Livre relié
common.buy 21.84 €
Louca - Tome 10 - L'histoire de Nathan Dequier Bruno / Livre Livre relié
common.buy 17.69 €
Die Rezeption des kontinental-europäischen Privatrechts in Lateinamerika Thilo Scholl / Livre Livre de poche
common.buy 74.54 €
Abordable
mezzi di trasporto. Baby Montessori Agnese Baruzzi / Livre Livre Concertina
common.buy 5.15 €
Probleme und Entwicklungen der Dienstleistungshaftung im griechischen, deutschen und Gemeinschaftsrecht. Emmanuela Truli / Livre Livre de poche
common.buy 95.48 €
Jeder stirbt für sich allein, 2 Audio-CDs Hans Fallada / Audio CD Audio
common.buy 17.69 €
Standortwettbewerb und Tourismus Harald Pechlaner / Livre Livre de poche
common.buy 35.39 €
Handbuch Der Architektur, 2 Band Anonymous / Livre Livre de poche
common.buy 22.04 €

This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, France, in July 2001.The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 62 submissions; also included are 5 abstracts of an invited session on security. The papers are organized in topical sections on program transformation, strictness and termination, semantics abstraction, logic and constraint programming, data structures, pointer analysis, model checking, and abstract model checking.

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
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2001
Nombre de pages 439
EAN 9783540423140
ISBN 3540423141
Code Libristo 01563611
Éditeurs Springer, Berlin
Poids 635
Dimensions 155 x 235 x 23

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 > Informatique > Intelligence artificielle
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

Reactive Application Development Duncan DeVore / Livre Livre de poche
common.buy 53.70 €
Violet Squeakers The Mouse / Livre Livre de poche
common.buy 12.53 €
The Book of Hallowe'en Ruth Edna Kelley / Livre Livre de poche
common.buy 9.90 €
Credit Risk Management and Analysis Stuart Shelly / Livre Livre de poche
common.buy 184.10 €
Top
The Official Five Nights at Freddy's Cookbook: An Afk Book CAWTHON SCOTT / Livre Livre relié
common.buy 14.15 €
This Little Collection #2 (Boxed Set): This Little Artist; This Little Dreamer; This Little Environmentalist; This Little Rainbow Daniel Roode / Livre Livre Concertina
common.buy 28.52 €
Complete Guide to the Maltese Jordan Pogorzelski / Livre Livre relié
common.buy 26.90 €
Chronicles of an Aristocrat Reborn in Another World (Manga) Vol. 1 Nini / Livre Livre de poche
common.buy 10.61 €
Toledo State Hospital Brownlee / Livre Livre de poche
common.buy 20.83 €
Shrine of the Irish Oak NATHANIEL HUNT / Livre Livre relié
common.buy 25.18 €
Special Valentine Delivery: Blake and Amber's Marylynn Bast / Livre Livre de poche
common.buy 6.77 €
Getting MEAN with Mongo Simon Holmes / Livre Livre de poche
common.buy 54.21 €
Mary, Jimi & The Wormhole Mike Dunn / Livre Livre de poche
common.buy 23.05 €
My Friends and I. (Three Tales.) Edited by Julian Sturgis. Julian Russell Sturgis / Livre Livre de poche
common.buy 21.44 €
Perfect (Teacher) Coach Terri Broughton / Livre Livre relié
common.buy 16.28 €
Race and Social Analysis Caroline Knowles / Livre Livre relié
common.buy 152.33 €
Marvelous Land of Oz Frank L. Baum / Livre Livre de poche
common.buy 13.65 €
Get Started in Beginner's Greek: Teach Yourself Aristarhos Matsukas / Livre Livre relié
common.buy 31.65 €
Microorganisms in Foods 5 International Commission on Microbiological Specifications for Foods (ICMSF) / Livre Livre relié
common.buy 343.52 €
White Cliffs Bettine Manktelow / Livre Livre de poche
common.buy 17.49 €
Advances in Gabor Analysis Hans G. Feichtinger / Livre Livre relié
common.buy 102.97 €

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 ?