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: 24027842
Éditeurs Springer Nature Switzerland AG, juillet 2019
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st... Description détaillée
? points 125 b
51.68 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Automotives Googiedesign / Gestern - Heute - Morgen Steinmetz / Livre Livre de poche
common.buy 26.39 €
Il Fratellino Di Celeste Marisa Bragato / Livre Livre de poche
common.buy 9.60 €

The 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 togeth

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 549
EAN 9783030255428
ISBN 3030255425
Code Libristo 24027842
Éditeurs Springer Nature Switzerland AG
Poids 866
Dimensions 155 x 235 x 31

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 > Analyse et conception de systèmes
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

Bientôt
Unauthorised Harry Potter Companion Colin Duriez / Livre Livre de poche
common.buy 13.95 €
Upper Columbia Basin Network Science Communication Plan, Version 1.0: Natural Resource Report NPS/UCBN/NRR?2009/140 Jannis L Jocius / Livre Livre de poche
common.buy 14.56 €
Fifty Shades of Crimson Tomsett / Livre Livre de poche
common.buy 24.57 €
IN The Beginning Was Marriage Owen Chiwawa / Livre Livre de poche
common.buy 13.95 €

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 ?