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.49 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Computer Aided Verification

22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Computer Aided Verification Tayssir Touili
Code Libristo: 01656210
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juin 2010
This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aide... Description détaillée
? points 280 b
115.71 €
Stockage externe Expédition sous 9-15 jours

Politique de retour sous 30 jours

Les clients ont également acheté

Top
Plastic Hearts Miley Cyrus / Audio CD Audio
common.buy 15.37 €
Ravensburger 24578 - Mystery Cube - Wunder der Welt: Sphinx- Für Rätsel-Begeisterte ab 10 Jahren / Jeu/jouet Jeu
common.buy 6.36 €
Orta in giallo Erica Gibogini / Livre Livre de poche
common.buy 13.75 €
Flockies Krokodýl Camila - sběratelská figurka 5 cm / Jeu/jouet Jouet
common.buy 4.54 €
Vitametrie® Joachim Heuser / Livre Livre de poche
common.buy 16.98 €
A Business Proposal n? 03 Narak / Livre Livre de poche
common.buy 18.81 €
Inklusive Schule und Vielfalt Gottfried Biewer / Livre Livre de poche
common.buy 22.45 €
Macrobiotica Zen: El arte del rejuvenecimiento y de la longevidad Georges Ohsawa / Livre Livre de poche
common.buy 14.76 €
Aktuátorok modellezése és diagnosztikája mesterséges intelligenciával Viktor Füvesi / Livre Livre de poche
common.buy 46.32 €
El Banco Mundial, el Fondo Monetario Internacional y los derechos humanos María Eugenia López-Jacoiste Díaz / Livre Livre de poche
common.buy 56.44 €
Mil trece ejercicios y juegos aplicados al balonmano Ponz Callen / Livre Livre de poche
common.buy 48.14 €
Julian Assange, De la ética hacker a Wikileaks Gianluca Costantini / Livre Livre de poche
common.buy 19.01 €
Israel Gerrit Michel / Livre Livre de poche
common.buy 49.96 €
Borkum einst und jetzt B. Huismann / Livre Livre de poche
common.buy 16.18 €
Hermann von Salza Heinrich Hävernick / Livre Livre de poche
common.buy 22.35 €
Neue Briefe Wilhelm Von Humboldts an Schiller 1796-1803 Wilhelm von Humboldt / Livre Livre de poche
common.buy 40.15 €
Personalabrechnung Auf Den Punkt Marianne Kiepe / Livre Livre de poche
common.buy 75.35 €

This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. The 34 revised full papers presented together with 17 tool papers, 4 invited talks and 3 invited tutorials were carefully reviewed and selected from 101 regular paper and 44 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for hardware and software systems. They are organized in topical sections on software model checking; model checking and automata; tools; counter and hybrid systems verification; memory consistency; verification of hardware and low level code; synthesis; concurrent program verification; compositional reasoning; and decision procedures.

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 Computer Aided Verification
Auteur Tayssir Touili, Byron Cook, Paul Jackson
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2010
Nombre de pages 676
EAN 9783642142949
ISBN 364214294X
Code Libristo 01656210
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 961
Dimensions 155 x 238 x 28

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 > 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 > Informatique théorique
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 > Technologies de l’information : questions générales
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

Spatial Analysis and GeoComputation Manfred M. Fischer / Livre Livre de poche
common.buy 102.97 €
Speech Prosody in Speech Synthesis: Modeling and generation of prosody for high quality and flexible speech synthesis Keikichi Hirose / Livre Livre relié
common.buy 113.29 €
Far Pavilions M. M. Kaye / Livre Livre de poche
common.buy 18.10 €
C++ Reactive Programming Peter Abraham / Livre Livre de poche
common.buy 49.66 €
More Than a Great Wedding 2: Creating Healthy Communities Where Relationships Thrive Daryl L Smith / Livre Livre de poche
common.buy 8.59 €
Early Bicycles and the Quest for Speed Andrew Ritchie / Livre Livre de poche
common.buy 45.00 €
Finishers' Manual - Containing the Receipts of an Expert for Finishing the Bottoms of Boots and Shoe, as Well as Other Valuable Information E. T. Thayer / Livre Livre de poche
common.buy 17.09 €
Top
Moult and Ageing of European Passerines Lukas Jenni / Livre Livre relié
common.buy 92.14 €
Practical Guide to Managing Clinical Trials Pfeiffer / Livre Livre de poche
common.buy 72.11 €
Golden Chain Algis Uzdavinys / Livre numérique Adobe ePub DRM
common.buy 39.34 €
Euro-Orientalism Ezequiel Adamovsky / Livre Livre de poche
common.buy 95.28 €
Kid's Box New Generation Level 1 Posters British English Caroline Nixon / Articles imprimés Poster
common.buy 24.67 €
By His grace STEVE FRY / Articles imprimés Partitions
common.buy 6.87 €
Sorceress Claudia Gray / Livre Livre de poche
common.buy 11.52 €
Coercion and Conciliation in Ireland 1880-1892 Lewis Perry Curtis / Livre Livre de poche
common.buy 68.27 €
English Lyric from Wyatt to Donne Douglas L. Peterson / Livre Livre de poche
common.buy 57.45 €
Public Health Mini-Guides: Obesity Nick Townsend / Livre Livre de poche
common.buy 18.81 €
There's a Lion in My Cornflakes Michelle Robinson / Livre Livre de poche
common.buy 8.69 €
Leading and Implementing Business Change Management David J Jones / Livre Livre relié
common.buy 209.08 €
Mathematical Aspects of Paradoxes in Cosmology Michal Krízek / Livre Livre relié
common.buy 154.36 €
City and the Court 1603-1643 Robert Ashton / Livre Livre de poche
common.buy 45.11 €
Lumbar Spinal Stenosis Franco Postacchini / Livre Livre de poche
common.buy 102.97 €
Czech Contemporary Art Guide Lucie Ševčíková / Livre Livre de poche
common.buy 1.81 €

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 ?