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

33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II

Langue AnglaisAnglais
Livre numérique Adobe ePub DRM
Livre numérique Computer Aided Verification Alexandra Silva
Code Libristo: 41014597
Éditeurs Springer, juillet 2021
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33r... Description détaillée
? points 11 b
4.43 €
En stock Immédiatement téléchargeable

Les clients ont également acheté

Matinee Et La Veillee Villageoises, Ou Le Sabot Perdu, Divertissement En 2 Actes, En Vaudevilles Barre-P / Livre Livre de poche
common.buy 13.11 €
Le cahier de Gustave - Petits carreaux, 96p, A5 - Football Marseille / Calendrier/agenda Agenda
common.buy 10.79 €
Volksthümliches Aus Graubünden Dietrich Jecklin / Livre Livre de poche
common.buy 19.27 €

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis.Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.

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 Alexandra Silva, K. Rustan M. Leino
Langue Anglais
Reliure Livre numérique - Adobe ePub DRM
Date de parution 2021
EAN 9783030816889
Code Libristo 41014597
Éditeurs Springer

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

Advances in Visual Computing George Bebis / Livre numérique Adobe ePub DRM
common.buy 121.41 €
Early Virginia Immigrants, 1623-1666 (1912) George Cabell Greer / Livre Livre de poche
common.buy 34.41 €

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 ?