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 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

Computer Aided Verification

21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Computer Aided Verification Ahmed Bouajjani
Code Libristo: 01650024
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juin 2009
This book constitutes the refereed proceedings of the 21st International Conference on Computer Aide... Description détaillée
? points 263 b
107.29 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Bientôt
Energie Vaclav Smil / Livre Livre relié
common.buy 16.29 €
Oheň Jane Caseyová / Livre Livre relié
common.buy 11.19 €
El espia que no sabia contar Karlos San Pedro / Livre Livre de poche
common.buy 13.09 €
CAPTATION AUDIOVISUELLE DES SPECTACLES VIVANTS GUILLOUX JEAN-MARIE / Livre Livre de poche
common.buy 33.09 €
Jydsk Staevne: Et Aarsskrift... Jeppe Aakj R. / Livre Livre de poche
common.buy 23.89 €
Contos que n?o se contam Rohrig C / Livre Livre de poche
common.buy 6.49 €
Zu den Schriften Ivos bon Chartres Franz Plazidus Bliemetzrieder / Livre Livre de poche
common.buy 13.89 €
Klekání Francis Jammes / Livre Feuille
common.buy 8.59 €
Modernes Sachsen Ralph Lindner / Livre Livre de poche
common.buy 21.69 €
Die Evolution vom Gesichtspunkte des Wahrhaftigen Rudolf Steiner / Livre Livre relié
common.buy 34.00 €
Cómo estudiar 2. Ejercicios prácticos Antonio Vallés Arándiga / Livre Livre de poche
common.buy 17.69 €
Podstawy ekonomii Podrecznik Janina Mierzejewska-Majcherek / Livre Livre de poche
common.buy 10.99 €
Etude comparative et Amélioration des protocoles de Routage(LEACH&SEP) Rahma Gantassi / Livre Livre de poche
common.buy 61.49 €

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009.§The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems; their scope ranges from theoretical results to concrete applications, with an emphasis on practical verification tools and the underlying algorithms and techniques.

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 Computer Aided Verification
Auteur Ahmed Bouajjani, Oded Maler
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2009
Nombre de pages 722
EAN 9783642026577
ISBN 3642026575
Code Libristo 01650024
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 1116
Dimensions 155 x 235 x 40

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 > Génie logiciel
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Analyse et conception de systèmes
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Informatique et technologies de l’information > Informatique > Intelligence artificielle
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

Parallel and Distributed Computing and Networks Luo Qi / Livre Livre de poche
common.buy 60.39 €
Environmentally Friendly Alkylphosphonate Herbicides Hong-Wu He / Livre Livre de poche
common.buy 107.29 €
Abordable
One Graham Priest / Livre Livre de poche
common.buy 18.99 €
Abordable
Learn English through Classic Tales Mark Cameron / Livre Livre de poche
common.buy 9.99 €
Kitsune Nicolette Andrews / Livre Livre de poche
common.buy 21.19 €
New York City's Italian Neighborhoods Raymond Guarini / Livre Livre de poche
common.buy 22.59 €
Advances in Chitin/Chitosan Characterization and Applications Marguerite Rinaudo / Livre Livre de poche
common.buy 83.09 €
Cultural History of the Senses in Antiquity Jerry Toner / Livre Livre de poche
common.buy 49.39 €
Chinese Central Asia Henry Lansdell / Livre Livre de poche
common.buy 32.69 €
Democratic Incongruities D. Judge / Livre Livre de poche
common.buy 55.49 €
Advanced Penetration Testing for Highly-Secured Environments - Lee Allen / Livre Livre de poche
common.buy 69.09 €
Ella Warner US Marshal JL 'DOC' PENDLAND / Livre Livre de poche
common.buy 20.09 €
Lectures On The Baptismal Regeneration Controversy Charles Stovel / Livre Livre de poche
common.buy 28.79 €
Color Atlas of Embryology U. Drews / Livre Livre de poche
common.buy 55.49 €
Group Theory for Physicists Zhong-Qi Ma / Livre Livre de poche
common.buy 49.29 €
Top
Money, and the Law of Attraction Esther Hicks / Articles imprimés Cartes
common.buy 22.59 €
Checkmating Aliens Soma Vira / Livre Livre de poche
common.buy 11.19 €
Creation of the Roman Frontier Stephen L. Dyson / Livre Livre relié
common.buy 189.29 €
Granular Physics Anita Mehta / Livre Livre de poche
common.buy 69.29 €
Autobiographical Statements in Twentieth-Century Russian Literature Jane Gary Harris / Livre Livre relié
common.buy 149.09 €
Molten Salts Chemistry Frederic Lantelme / Livre Livre relié
common.buy 224.29 €
Cities, Business, and the Politics of Urban Violence in Latin America Eduardo Moncada / Livre Livre relié
common.buy 85.39 €

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 ?