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 6.49 € Point Bpost 8.49 € Bpost 7.99 € Point DPD 3.99 € Service de messagerie GLS 5.49 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Langue AnglaisAnglais
Livre Livre de poche
Livre Computer Aided Verification Daniel Kroening
Code Libristo: 09372112
Éditeurs Springer International Publishing AG, juillet 2015
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th Int... Description détaillée
? points 125 b
51.36 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Der X-Klub (Eine Krinar Erzählung) Anna Zaires / Livre Livre de poche
common.buy 11.45 €
El Cuartel y el Templo Euripedes Kuhl / Livre numérique Adobe ePub DRM
common.buy 17.99 €
Redeskriptionen horizontaler Geographien Olaf Kuhne / Livre numérique Adobe ePub DRM
common.buy 110.78 €
Onkel Alwin und das Sams Paul Maar / Livre Livre relié
common.buy 11.85 €
Medizinischer Grundwortschatz Martin Trebsdorf / Livre Livre de poche
common.buy 17.99 €
Stadt der Lebenden / Livre Livre de poche
common.buy 14.37 €
La Divine Comédie De Dante; Volume 1 Louis Ratisbonne / Livre Livre de poche
common.buy 28.34 €
Neue Formen des Wohnens und Zusammenlebens im Alter Martin Obermüller / Livre Livre de poche
common.buy 51.36 €
So Gewinnt Der Mittelstand! Sven Rickes / Livre Livre relié
common.buy 51.56 €
EL GUERRA CIVIL EN CÓRDOBA PATRICIO HIDALGO LUQUE / Livre Livre de poche
common.buy 26.83 €
Palestina-Israel, un país, un estado : una iniciativa audaz para la paz Virginia Tilley / Livre Livre de poche
common.buy 40.91 €
Découvrez le SURNATUREL en VOUS!: (Psaumes Quotidiens Puissant Pour Adolescents) LeTicia Lee / Livre Livre de poche
common.buy 19.69 €
El pacto de Reygnark Víctor López López / Livre Livre de poche
common.buy 18.49 €

The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.§§The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.§

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 Daniel Kroening, Corina S. Pasareanu
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2015
Nombre de pages 469
EAN 9783319216676
ISBN 3319216678
Code Libristo 09372112
Éditeurs Springer International Publishing AG
Poids 7314
Dimensions 155 x 235 x 25

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

Analysis of Images, Social Networks and Texts Wil M. P. van der Aalst / Livre Livre de poche
common.buy 51.36 €
Jazz Session Trainer: The Woodshedder's Practice Kit - B-Flat Edition Larry Dunlop / Livre Livre relié
common.buy 23.62 €
Tests of Youth: Guiding Children to Maturity D J Young / Livre Livre de poche
common.buy 15.07 €
Top
Love and Other Words Christina Lauren / Livre Livre de poche
common.buy 12.96 €
Bientôt
Positiverosity: 7 Golden Principles David Fox-Pitt / Livre Livre de poche
common.buy 10.75 €
Sex and passion Piero Palono / Livre Livre de poche
common.buy 8.74 €
How To Earn Money Without Leaving The House Daniel P Richardson / Livre Livre de poche
common.buy 11.45 €
My Bilingual Book - Smell (English-German) Milet Publishing Ltd / Livre Livre relié
common.buy 9.44 €
Ask Me Smarter! Language Arts, Social Studies, Science, and Math - Grade 3 Donna M. Roszak / Livre Livre de poche
common.buy 12.36 €
Global Logistics and Supply Chain Management Mason Harris / Livre Livre relié
common.buy 127.77 €
Curiosidad Por Los Autos Indycar Grack / Livre Livre de poche
common.buy 9.34 €
Help With Homework: Age 5+ Phonics Autumn Publishing / Livre Livre de poche
common.buy 4.72 €
Top
The Haunting Season for Love and Witches Isabelle Larken / Livre Livre de poche
common.buy 20.30 €
Ballet Shoes for Anna Noel Streatfeild / Livre Livre de poche
common.buy 8.64 €
Short History of Gardens Gordon Campbell / Livre Livre relié
common.buy 17.18 €
Contraception Research for Today and the Nineties G.P. Talwar / Livre Livre relié
common.buy 90.17 €
Early Childhood Education Radhika Viruru / Livre Livre relié
common.buy 41.31 €
Engineering and Design US Army Corps of Engineers / Livre Livre de poche
common.buy 34.98 €
Rita and Rascal Autum Agusta / Livre Livre relié
common.buy 22.11 €
Does God Protect the Innocent? Marcel Crespil / Livre Livre relié
common.buy 33.77 €
Breaking Through Mexico's Past Eduardo Matos Moctezuma / Livre Livre relié
common.buy 39.50 €
Television in the Antenna Age - A Concise History David Marc / Livre Livre relié
common.buy 137.32 €
Affluent Worker: Industrial Attitudes and Behaviour John H. Goldthorpe / Livre Livre de poche
common.buy 48.65 €
Design Systems for VLSI Circuits Giovanni De Micheli / Livre Livre de poche
common.buy 204.48 €

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 ?