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.

Verification, Model Checking, and Abstract Interpretation

Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers

Langue AnglaisAnglais
Livre Livre de poche
Livre Verification, Model Checking, and Abstract Interpretation Agostino Cortesi
Code Libristo: 01564296
Éditeurs Springer, Berlin, novembre 2001
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop o... Description détaillée
? points 125 b
51.68 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Wirtschaftswissenschaftliche Ausarbeitung, Sammelband I J. Egli / Livre Livre de poche
common.buy 22.45 €
La cuisine vietnamienne illustrée Nathalie Nguyen / Livre Livre de poche
common.buy 17.89 €

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI 2002, held in Venice, Italy in January 2002.The 22 revised full papers presented were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on security and protocols, timed systems and games, static analysis, optimization, types and verification, and temporal logics and systems.

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 Verification, Model Checking, and Abstract Interpretation
Auteur Agostino Cortesi
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2002
Nombre de pages 331
EAN 9783540436317
ISBN 3540436316
Code Libristo 01564296
Éditeurs Springer, Berlin
Poids 490
Dimensions 155 x 235 x 18

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

Impulsive and Hybrid Dynamical Systems Wassim Haddad / Livre Livre relié
common.buy 160.93 €
North Carolina Taxpayers, 1679-1790. Volume 2 Clarence E Ratcliff / Livre Livre relié
common.buy 46.83 €
Psychotherapy for a Democratic Mind Israel W. Charny / Livre Livre relié
common.buy 157.19 €
Gig Society BRIAN WOLATZ / Livre Livre de poche
common.buy 15.77 €
Our Old World Background (1922) Charles Austin Beard / Livre Livre de poche
common.buy 42.07 €

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