[email protected]
LIBRISTO 0
La Poste Autrichienne 5.99 € Coursier DPD 6.49 € Service de messagerie GLS 4.49 €
phone Contact phoneComment faire ses achats

Automated Technology for Verification and Analysis

Langue AnglaisAnglais
Livre Livre de poche
Livre Automated Technology for Verification and Analysis Ahmed Bouajjani
Code Libristo: 01656599
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembre 2010
This book constitutes the refereed proceedings of the 8th International Symposium on Automated Techn... Description détaillée
? points 163 b
69.14 € včetně DPH
Stockage externe Expédition sous 13-18 jours
Autriche common.delivery_to

Politique de retour sous 30 jours

Ceci pourrait également vous intéresser

TOP
Asterix: Asterix Omnibus 4 René Goscinny / Livre de poche
common.buy 18.40 €
TOP
Anatomia zwierzat do kolorowania. Aparat ruchu. Podrecznik dla studentow weterynarii Halina Purzyc / Livre de poche
common.buy 24.29 €
BIENTÔT
Pierre Gagnaire: Reinventing French Cuisine Jean-Francois Abert / Livre relié
common.buy 31.67 €
Erfolgsfaktoren fur die kundenseitige Akzeptanz von NFC-Mobile-Payment im Vergleich zwischen OEsterreich und Taiwan Jakob Harb / Livre de poche
common.buy 45.98 €
Progression of the American Presidency Jim Twombly / Livre de poche
common.buy 68.07 €
Our Cats And All About Them Harrison Weir / Livre relié
common.buy 45.38 €
Alone at Sea John N. Morris / Livre de poche
common.buy 26.96 €
Mysticism in Twentieth-Century Hebrew Literature Hamutal Bar-Yosef / Livre relié
common.buy 137.65 €
My Philosophy Oliver Lodge / Livre de poche
common.buy 58.11 €
Learning Medicine Peter Richards / Livre de poche
common.buy 80.27 €
Altbaukonstruktionen - Materialien und U-Werte im Gebäudebestand. Swen Klauß / Livre de poche
common.buy 63.16 €
PREMO: A Framework for Multimedia Middleware David Duke / Livre de poche
common.buy 68.07 €
Education, Indigenous Knowledges, and Development in the Global South Anders Breidlid / Livre relié
common.buy 295.64 €

This book constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, held in Singapore, in September 2010.§The book includes 3 invited talks, 21 regular papers and 9 tool papers.

À propos du livre

Nom complet Automated Technology for Verification and Analysis
Auteur Ahmed Bouajjani, Wei-Ngan Chin
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2010
Nombre de pages 404
EAN 9783642156427
ISBN 3642156428
Code Libristo 01656599
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 624
Dimensions 327 x 239 x 28

Catégories

Informatique et technologies de l’information > Matériel informatique > Equipement de réseau
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 > 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 > 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

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