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

Computer Aided Verification

Langue AnglaisAnglais
Livre Livre de poche
Livre Computer Aided Verification Isil Dillig
Code Libristo: 24027841
Éditeurs Springer Nature Switzerland AG, juillet 2019
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31s... Description détaillée
? points 125 b
51.65 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Io e il mio amico Gesù facciamo tante cose assieme. La comunione Bruno Ferrero / Livre Livre de poche
common.buy 10.50 €
PRÄVENTIVE ZAHNMEDIZIN: DAMIT DAS LÄCHELN FREI VON VERLETZUNGEN BLEIBT SOUNDARYA PRABHAKAR / Livre Livre de poche
common.buy 39.21 €
Bleigewitter über Cinecitt? Christian Keßler / Livre Livre relié
common.buy 30.32 €
LP! JPEGMAFIA Audio Vinyle audio
common.buy 49.93 €
Hory zpívají Phan Que Mai Nguyen / Livre Livre relié
common.buy 15.26 €
Morče Nataša Velenská / Livre Livre de poche
common.buy 8.99 €
KLIMATOLOGIE Émile H. Klouyo / Livre Livre de poche
common.buy 39.21 €
История моды. С 1850-х годов до наших дней Д.Д. Коул / Livre Livre relié
common.buy 145.97 €
Plaster Czarownicy i inne baśnie Małgorzata Strzałkowska / Livre Livre relié
common.buy 9.19 €
SOLA GURT / Livre Livre de poche
common.buy 19.10 €
Atención Sociosanitaria a personas en el domicilio.Atención domiciliaria y alimentación familiar. Ce EDAE / Livre Livre de poche
common.buy 23.44 €
TEKIS GOMEZ / Livre Livre relié
common.buy 19.20 €
Un coup de dés jamais n'abolira le hasard Stéphane Mallarmé / Livre binding.
common.buy 21.52 €
Donc Vous Avez Un Ami Invisible: (Ne voir aucun dieu, n'entendre aucun dieu, ne parler ? aucun dieu) Nancy Phillips / Livre Livre de poche
common.buy 11.21 €
Secme Dünya Öyküleri Jorge Luis Borges / Livre Livre de poche
common.buy 16.17 €
Valorisation de soja: « tofu, farine infantile » José Tahina Ranaivotrimo / Livre Livre de poche
common.buy 55.09 €
Christoph Columbus Jakob Wassermann / Livre Livre de poche
common.buy 17.88 €
Weg Ins Heim Trendb Uro / Livre Livre de poche
common.buy 37.80 €
Cuento-juego. Los tres cerditos NICOLETTA CODIGNOLA / Livre Livre de poche
common.buy 14.95 €
30 Jahre Nachhilfe in 60 Minuten Ulf - C. Roggendorff / Livre Livre de poche
common.buy 10.91 €
Besser hausgemacht mit dem Thermomix® Doris Muliar / Livre Livre de poche
common.buy 12.73 €

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented toget

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 Isil Dillig, Serdar Tasiran
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2019
Nombre de pages 673
EAN 9783030255398
ISBN 3030255395
Code Libristo 24027841
Éditeurs Springer Nature Switzerland AG
Poids 1050
Dimensions 155 x 235 x 38

Catégories

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 > Modélisation et simulation informatiques
Informatique et technologies de l’information > Informatique > Intelligence artificielle
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

Information Security Sokratis Katsikas / Livre Livre de poche
common.buy 77.23 €
Group FEIGEL LARA / Livre Livre de poche
common.buy 11.31 €
The Utility of Strategic Surveys for Rare and Little- Known Species Under the Northwest Forest Plan Olson / Livre Livre de poche
common.buy 15.76 €
MEE Questions Book 2 Celebration Bar Review LLC / Livre Livre de poche
common.buy 92.29 €
Botanic Garden. Part II. Containing the Loves of the Plants. A Poem. With Philosophical Notes. Volume the Second. The Fourth Edition. of 2; Volume 2 ERASMUS DARWIN / Livre Livre relié
common.buy 31.63 €
Advances in Growth Curve and Structural Equation Modeling Ratan Dasgupta / Livre Livre relié
common.buy 51.65 €
Treatise on Grand Military Operations as Contrasted with the Modern System Samuel Beckley Holabird / Livre Livre de poche
common.buy 28.50 €
Do You Dream of Terra-Two? Temi Oh / Livre Livre de poche
common.buy 13.54 €
Bientôt
Print Proceedings of the IMECE International Mechanical Engineering Congress & Exposition (IMECE2018): Volume 1 ASME / Livre Livre de poche
common.buy 140.51 €
Feasibility Study Majura Jackson G. Majura / Livre Livre de poche
common.buy 36.28 €
Top
Trapped in a Video Game: The Complete Series Dustin Brady / Livre Livre de poche
common.buy 37.09 €
3 little sisters Radha Bamania / Livre Livre de poche
common.buy 10.30 €
Soft Computing as Transdisciplinary Science and Technology Ajith Abraham / Livre Livre de poche
common.buy 205.62 €
Bientôt
Wolfsmund Kuji Mitsuhisa / Livre Livre de poche
common.buy 13.94 €
Katherine Mansfield: New Directions GASSTON AIMEE / Livre Livre relié
common.buy 154.26 €
Top
Invisible Women: Data Bias in a World Designed for Men CRIADO PEREZ CAROLINE / Livre Livre de poche
common.buy 15.76 €
Works of Ophra Behn Montague Summers / Livre Livre relié
common.buy 57.82 €
The Wager and Other Stories Greg Sushinsky / Livre Livre de poche
common.buy 7.57 €
Sex Differences in Intelligence Richard Lynn / Livre Livre de poche
common.buy 15.05 €
In at the Death Francis Duncan / Livre audio MP3
common.buy 8.89 €
Artificial Intelligence Enabled Computational Methods for Smart Grid Forecast and Dispatch Zhigang Zeng / Livre Livre de poche
common.buy 164.47 €
A K-Pop Love Story H.G Samarasinghe / Livre Livre de poche
common.buy 13.03 €
KOREAN WORD SEARCH - LEVEL OF DIFFICULTY DELTA CLASSICS / Livre Livre de poche
common.buy 10.60 €
Privileged Brotherhoods Adam Howard / Livre Livre relié
common.buy 64.19 €

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 ?