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

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.66 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Školní diář 2025-2026 STUDENT Game Over / Calendrier/agenda Agenda
common.buy 3.23 €
Legge sull'edilizia e lo sviluppo, Consiglio di pianificazione dello sviluppo regionale Dr. Ir. Juni Gultom / Livre Livre de poche
common.buy 61.37 €
Eden sommerso. Viaggio nella scienza delle alghe: alimentazione, longevità e sostenibilità Francesco Cinelli / Livre Livre de poche
common.buy 22.34 €
Standortwettbewerb und Tourismus Harald Pechlaner / Livre Livre de poche
common.buy 35.38 €
Die Rezeption des kontinental-europäischen Privatrechts in Lateinamerika Thilo Scholl / Livre Livre de poche
common.buy 84.93 €
Top
Золото в темной ночи (Потомки Первых #1) Лия Арден / Livre Livre relié
common.buy 21.83 €
Malá noční můra Ondřej Červinka / Livre Livre de poche
common.buy 1.10 €
Louca - Tome 10 - L'histoire de Nathan Dequier Bruno / Livre Livre relié
common.buy 17.48 €
Probleme und Entwicklungen der Dienstleistungshaftung im griechischen, deutschen und Gemeinschaftsrecht. Emmanuela Truli / Livre Livre de poche
common.buy 105.96 €
Quaestiones Plautinae. Terentianaeque Iosephus Koehm / Livre Livre relié
common.buy 109.19 €
Abordable
mezzi di trasporto. Baby Montessori Agnese Baruzzi / Livre Livre Concertina
common.buy 5.15 €
TANTRA Y SEXO / Livre Livre de poche
common.buy 24.86 €
El Born CC GARCIA ESPUCHE / Livre Livre
common.buy 16.37 €
Nouvelle Nomenclature Pharmaceutique, Avec Tableaux, Synonymie Ancienne Et Nouvelle CHEREAU-A / Livre Livre de poche
common.buy 17.38 €
A Helyi Onkormanyzat: Es A Felette Gyakorolt Allami Felugyelet (1896) Jozsef Renyi / Livre Livre de poche
common.buy 24.06 €
Jeder stirbt für sich allein, 2 Audio-CDs Hans Fallada / Audio CD Audio
common.buy 17.69 €
Que amaga el petit Edu LINNE BIE / Livre Livre relié
common.buy 9.09 €
Handbuch Der Architektur, 2 Band Anonymous / Livre Livre de poche
common.buy 22.03 €

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

Chronicles of an Aristocrat Reborn in Another World (Manga) Vol. 1 Nini / Livre Livre de poche
common.buy 10.61 €
Reactive Application Development Duncan DeVore / Livre Livre de poche
common.buy 54.19 €
Getting MEAN with Mongo Simon Holmes / Livre Livre de poche
common.buy 54.19 €
Special Valentine Delivery: Blake and Amber's Marylynn Bast / Livre Livre de poche
common.buy 6.76 €
Shrine of the Irish Oak NATHANIEL HUNT / Livre Livre relié
common.buy 25.17 €
A Scattering and Anniversary: Poems Christopher Reid / Livre Livre de poche
common.buy 12.12 €
Old Father Time Peter D. Bull / Livre Livre de poche
common.buy 19.30 €
An Enquiry Into the Obligations of Christians to Use Means for the Conversion of the Heathens William Carey / Livre Livre de poche
common.buy 18.39 €
Toledo State Hospital Brownlee / Livre Livre de poche
common.buy 20.82 €
Complete Guide to the Maltese Jordan Pogorzelski / Livre Livre relié
common.buy 26.89 €
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.91 €
Top
The Official Five Nights at Freddy's Cookbook: An Afk Book CAWTHON SCOTT / Livre Livre relié
common.buy 14.45 €
Credit Risk Management and Analysis Stuart Shelly / Livre Livre de poche
common.buy 184.02 €
The Wood Between the Worlds: A Poetic Theology of the Cross Brian Zahnd / Livre Livre relié
common.buy 19.40 €
The Book of Hallowe'en Ruth Edna Kelley / Livre Livre de poche
common.buy 9.90 €
Violet Squeakers The Mouse / Livre Livre de poche
common.buy 12.53 €
FUTURES TRADER PRO COMPREHENSIVE GUIDE TO S&P 500 E-MINI FUTURES JAMES RICHARDS / Livre Livre relié
common.buy 70.57 €
FRAILTY OF FLESH THE Sandra Ruttan / Livre Livre de poche
common.buy 13.94 €
Marvelous Land of Oz Frank L. Baum / Livre Livre de poche
common.buy 13.64 €
Advances in Gabor Analysis Hans G. Feichtinger / Livre Livre relié
common.buy 102.93 €
Race and Social Analysis Caroline Knowles / Livre Livre relié
common.buy 152.67 €
Microorganisms in Foods 5 International Commission on Microbiological Specifications for Foods (ICMSF) / Livre Livre relié
common.buy 343.38 €
Get Started in Beginner's Greek: Teach Yourself Aristarhos Matsukas / Livre Livre relié
common.buy 31.64 €
Perfect (Teacher) Coach Terri Broughton / Livre Livre relié
common.buy 16.17 €

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 ?