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

Computer Aided Verification

18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Computer Aided Verification Thomas Ball
Code Libristo: 01562480
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, août 2006
This book constitutes the refereed proceedings of the 18th International Conference on Computer Aide... Description détaillée
? points 290 b
118.29 € TVA incluse
Stockage externe en petites quantités Expédition sous 11-15 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Aféra Granvillových Una-Mary Parker / Livre Livre de poche
common.buy 12.89 €
Borges. El Misterio Esencial / Borges. the Essential Mystery Willis Barnstone / Livre Livre de poche
common.buy 16.49 €
HEROIS, MONSTRES I ALTRES MENTIDES DOMINGO MIQUEL / Livre Livre de poche
common.buy 27.39 €
Juegos de ingenio John Katzenbach / Livre Livre de poche
common.buy 15.69 €
Cherry Bomb Tyler / Audio CD Audio
common.buy 21.99 €
FESTE LIPID-NANOPARTIKEL IN DER WUNDBEHANDLUNG Kanika Dhote / Livre Livre de poche
common.buy 69.89 €
Induzione della fioritura nel pomelo mediante paclobutrazolo Mary Tess Mandantes / Livre Livre de poche
common.buy 46.69 €
PREMIER DICTIONNAIRE DE BEBE : COULEURS ET FORMES Bout'chou / Livre Livre de poche
common.buy 6.39 €
Nerudův verš Jakub Říha / Livre Livre de poche
common.buy 5.59 €
Lieder Oswalds von Wolkenstein Burghart Wachinger / Livre Livre de poche
common.buy 24.95 €
El Rubius 100% no oficial MARTINA REIS / Livre Livre de poche
common.buy 14.59 €
Organizacja procesowa Piotr Grajewski / Livre Livre de poche
common.buy 14.69 €
Auftakte Uwe David / Livre Livre de poche
common.buy 19.90 €
Verdinglichung und schulischer Leistungsprozess. Einfuhrung in die Sozialphilosophie Malte Gerhardt / Livre Livre de poche
common.buy 17.95 €

This book constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held in Seattle, WA, USA in August 2006 as part of the 4th Federated Logic Conference, FLoC 2006.§The 35 revised full papers presented together with 10 tool papers and 4 invited papers were carefully reviewed and selected from 144 submissions adressing all current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems. The papers are organized in topical sections on automata, arithmetic, SAT and bounded model checking, abstraction/refinement, symbolic trajectory evaluation, property specification and verification, time, concurrency, trees, pushdown systems and boolean programs, termination, abstract interpretation, memory consistency, and shape analysis.

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 Thomas Ball, Robert B. Jones
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2006
Nombre de pages 564
EAN 9783540374060
ISBN 354037406X
Code Libristo 01562480
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 1780
Dimensions 155 x 235 x 32

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique > Automatique > Robotique
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

Running Blind Lee Child / Livre Livre relié
common.buy 38.49 €
Mathematical Methods for Physics and Engineering Blennow / Livre Livre de poche
common.buy 172.99 €
Inspector Jack Carter Empire Rising Mark Woodcraft / Livre Livre de poche
common.buy 17.19 €
Dylan Thomas Rushworth M. Kidder / Livre Livre relié
common.buy 124.49 €
Legacy of Pope Benedict XVI Charles A. Coulombe / Livre numérique Adobe ePub DRM
common.buy 2.19 €
Free Us from Bullying: Real Solutions Beyond Being Nice Paul T Coughlin / Livre Livre de poche
common.buy 14.49 €
What Went Wrong With Capitalism Ruchir Sharma / Livre Livre relié
common.buy 27.89 €
For Zion's Sake: Christian Zionism and the Role of John Nelson Darby Paul Richard Wilkinson / Livre Livre de poche
common.buy 35.89 €
Applications of Palynology in Stratigraphy and Climate Studies Bandana Samant / Livre numérique Adobe ePub DRM
common.buy 166.09 €
Five Years On The Inside Fisher Garth D. Fisher / Livre Livre de poche
common.buy 9.79 €
Starling of the White House Edmund W. Starling / Livre Livre de poche
common.buy 29.49 €
The Rainbow Tulip Pat Mora / Livre Livre de poche
common.buy 8.09 €
Conversations On The Catechism Of The Protestant Episcopal Church (1849) William Meade / Livre Livre de poche
common.buy 27.89 €
Meditation Paul Brunton / Livre Livre de poche
common.buy 20.39 €
Great Seljuk Empire PEACOCK / Livre Livre relié
common.buy 163.59 €
Nanomaterials for Liquid Chromatography and Laser Desorption/Ionization Mass Spectrometry Tian Lu / Livre Livre relié
common.buy 118.29 €
Youth-Led Health Promotion in Urban Communities Melvin Delgado / Livre Livre relié
common.buy 159.89 €
Rethinking International Relations Theory Martin Griffiths / Livre Livre de poche
common.buy 61.89 €
Brooklyn Vintage Ads Vol 16 Robert a. Henriksen / Livre Livre de poche
common.buy 21.99 €
Revision Notes for the Respiratory Medicine Specialty Certificate Examination Caroline (Specialty Trainee in Respiratory Medicine; North West Thames Rotation) Patterson / Livre Livre de poche
common.buy 98.69 €
Quality management and the strategic plan / Livre Livre de poche
common.buy 35.49 €

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 ?