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

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 132 b
53.79 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Politique de retour sous 30 jours

Les clients ont également acheté

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

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 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 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 55.49 €
Violet Squeakers The Mouse / Livre Livre de poche
common.buy 12.99 €
The Book of Hallowe'en Ruth Edna Kelley / Livre Livre de poche
common.buy 10.39 €
Credit Risk Management and Analysis Stuart Shelly / Livre Livre de poche
common.buy 190.59 €
Top
The Official Five Nights at Freddy's Cookbook: An Afk Book CAWTHON SCOTT / Livre Livre relié
common.buy 14.99 €
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 29.69 €
Complete Guide to the Maltese Jordan Pogorzelski / Livre Livre relié
common.buy 27.89 €
Chronicles of an Aristocrat Reborn in Another World (Manga) Vol. 1 Nini / Livre Livre de poche
common.buy 11.19 €
Toledo State Hospital Brownlee / Livre Livre de poche
common.buy 21.89 €
Shrine of the Irish Oak NATHANIEL HUNT / Livre Livre relié
common.buy 26.09 €
Special Valentine Delivery: Blake and Amber's Marylynn Bast / Livre Livre de poche
common.buy 6.99 €
Getting MEAN with Mongo Simon Holmes / Livre Livre de poche
common.buy 56.09 €
Mary, Jimi & The Wormhole Mike Dunn / Livre Livre de poche
common.buy 23.89 €
My Friends and I. (Three Tales.) Edited by Julian Sturgis. Julian Russell Sturgis / Livre Livre de poche
common.buy 22.59 €
Perfect (Teacher) Coach Terri Broughton / Livre Livre relié
common.buy 16.99 €
Race and Social Analysis Caroline Knowles / Livre Livre relié
common.buy 158.99 €
Marvelous Land of Oz Frank L. Baum / Livre Livre de poche
common.buy 14.19 €
Get Started in Beginner's Greek: Teach Yourself Aristarhos Matsukas / Livre Livre relié
common.buy 33.39 €
Microorganisms in Foods 5 International Commission on Microbiological Specifications for Foods (ICMSF) / Livre Livre relié
common.buy 355.79 €
White Cliffs Bettine Manktelow / Livre Livre de poche
common.buy 18.09 €
Advances in Gabor Analysis Hans G. Feichtinger / Livre Livre relié
common.buy 107.29 €

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 ?