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

Computer Aided Verification

26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Computer Aided Verification Armin Biere
Code Libristo: 02775219
Éditeurs Springer International Publishing AG, août 2014
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verific... Description détaillée
? points 222 b
90.79 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Abalone Go Michel Lalet / Jeu/jouet Jeu
common.buy 13.99 €
Harry Potter - Kit de pâtisserie et moules - Fabrique ton Vif d'Or en chocolat ! The Wizarding World / Livre Livre relié
common.buy 14.69 €
Charles Hueber, le maire oublié de Strasbourg KRIEGER / Livre Livre de poche
common.buy 25.09 €
Los frutos siderales MORA ALAMEDA / Livre Livre de poche
common.buy 12.09 €
Rundreise Kalifornien mit Las Vegas (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Calendrier/agenda Calendrier
common.buy 21.99 €
DAN DA DAN 14 Yukinobu Tatsu / Livre Livre de poche
common.buy 8.09 €
Procvičujeme si Psaní y/ý a i/í po tvrdých a měkkých souhláskách a psaní ě Vlasta Švejdová / Livre Livre de poche
common.buy 1.59 €
Lettere. Testo greco a fronte Platone / Livre Livre relié
common.buy 42.69 €
Tief ist der Brunnen der Vergangenheit Gerhard Danzer / Livre Livre relié
common.buy 32.99 €
Sneaker Obsession Pauwels / Livre Livre de poche
common.buy 17.19 €
Isola d'Elba e Pianosa Russo William Dello / Livre Livre de poche
common.buy 12.49 €
The Compound Effect Darren Hardy / Livre Livre de poche
common.buy 16.29 €
Sestra lovca bosoriek Beth Underdown / Livre Livre relié
common.buy 8.29 €
Mut ist der Anfang vom Gluck Heike Karen Gurtler / Livre numérique Adobe ePub DRM
common.buy 11.09 €
Einführung in das GmbH-Recht Werner Borns / Livre Livre de poche
common.buy 37.94 €
Kulturelle Diversitat und die Modeklammer - der Einfluss von kultureller Diversitat auf international agierende Unternehmen in der Modebranche Johannes Lenhard / Livre Livre de poche
common.buy 18.95 €
Imageanalyse der TSG Ludwigshafen-Friesenheim Sebastian Bronner / Livre Livre de poche
common.buy 47.95 €
Lessings Werke Gotthold E. Lessing / Livre Livre de poche
common.buy 79.90 €
Als Vagabund um die Erde Harry Franck / Livre Livre de poche
common.buy 69.90 €
Hardcore Training Ellington Darden / Livre Livre de poche
common.buy 22.95 €
Untersuchung Des W rmeinhalts, Der W rmeleitf higkeit Und Der Elektrischen Leitf higkeit Von Schmelzkalk Wilhelm Anton Fischer / Livre Livre de poche
common.buy 54.99 €
Beschaffungsplanung Und Budgetierung Heinz Stark / Livre Livre de poche
common.buy 54.99 €
25 Jahre Kaiser Wilhelm-Gesellschaft Max Planck / Livre Livre de poche
common.buy 54.99 €
Betrieb Und Und Bedienung Von Ortsfesten Viertakt-Dieselmaschinen Arthur Balog / Livre Livre de poche
common.buy 54.99 €

This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.§§The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction.

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 Armin Biere, Roderick Bloem
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2014
Nombre de pages 877
EAN 9783319088662
ISBN 3319088661
Code Libristo 02775219
Éditeurs Springer International Publishing AG
Poids 1352
Dimensions 155 x 235 x 48

Catégories

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
Informatique et technologies de l’information > Gestion de réseaux informatiques et des communications
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

Dynamic Systems Models Josif A. Boguslavskiy / Livre Livre relié
common.buy 90.79 €
From the Garden Michael Dahl / Livre Livre de poche
common.buy 6.79 €
750 Spanish Verbs and Their Uses Zamir / Livre Livre de poche
common.buy 24.49 €
Ecosystems and Human Health Dakubo / Livre Livre relié
common.buy 97.89 €
Violence Michel Wieviorka / Livre numérique Adobe ePub DRM
common.buy 45.59 €
Anti-Death League Kingsley Amis / Livre Livre de poche
common.buy 9.19 €
How to Read the Chinese Novel David L. Rolston / Livre Livre de poche
common.buy 94.89 €
Mobilizing India Tejaswini Niranjana / Livre Livre de poche
common.buy 32.39 €
Fundamental Research in Moral Development Bill Puka / Livre Livre relié
common.buy 63.59 €
Moncada Webster Hare Paul Webster Hare / Livre Livre de poche
common.buy 13.89 €
Elephants Can't Hide Forever Pete Plenge / Livre Livre de poche
common.buy 14.79 €
Classification of Pseudo-reductive Groups (AM-191) Gopal Prasad / Livre Livre de poche
common.buy 92.99 €
Encyclopedia of Card Tricks Glenn Gravatt / Livre Livre de poche
common.buy 12.69 €
Shades of Earl Grey Laura Childs / Livre Livre de poche
common.buy 5.59 €
British Woodies from the 1920s to the 1950s Colin Peck / Livre Livre de poche
common.buy 12.79 €
Omega Factor John G. Henning / Livre Livre de poche
common.buy 13.89 €
Censored 1996: The 1996 Project Censored Yearbook Carl Jensen / Livre Livre de poche
common.buy 12.59 €
Kicad - Getting Started in Kicad David Jahshan / Livre Livre de poche
common.buy 16.19 €
BEAUCHAMP: OR THE WHEEL OF FORTUNE JAMES HOLR FIELDING / Livre Livre relié
common.buy 33.09 €
Criticism of the New Testament Francis Crawford Burkitt / Livre Livre relié
common.buy 27.49 €
The Garret and The Garden Robert Michael Ballantyne / Livre Livre de poche
common.buy 5.59 €
Apache Spark Quick Start Guide Shrey Mehrotra / Livre Livre de poche
common.buy 29.19 €
Complete Works of W.H. Auden W. H. Auden / Livre Livre relié
common.buy 335.19 €
Lost and Found Dara Girard / Livre Livre de poche
common.buy 7.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