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

Verification, Model Checking, and Abstract Interpretation

27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Verification, Model Checking, and Abstract Interpretation Yu-Fang Chen
Code Libristo: 50123032
Éditeurs Springer, Berlin, mars 2026
This book constitutes the proceedings of the 27th International Conference on Verification, Model Ch... Description détaillée
? points 184 b
75.39 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Vingt-Cinq Proverbes Dramatiques: Les Voyageurs, l'Uniforme de Campagne, La Tricherie Carmontelle / Livre Livre de poche
common.buy 14.79 €
Die drei ??? Kids, Das außerirdische Buch Ulf Blanck / Livre Livre relié
common.buy 13.00 €
Le carnet de Gabriel - Petits carreaux, 96p, A5 - Graffiti / Calendrier/agenda Agenda
common.buy 8.59 €
Ce que le corps révèle vraiment de vous Claudine Biland Livre Livre de poche
common.buy 26.09 €
The Crown vol. 2 ROBERT LACEY / Livre Livre relié
common.buy 26.89 €
Происхождение видов Чарлз Дарвин / Livre Livre de poche
common.buy 11.99 €

This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.

The 18 full papers presented in the proceedings were carefully reviewed and selected from 54 submissions. They deal with formal verification model checking, abstract interpretation, fostering interaction, cross-fertilization, and advancement of hybrid methods that combine these and related approaches.

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 Verification, Model Checking, and Abstract Interpretation
Auteur Yu-Fang Chen, Thomas Philip Jensen, Ondrej Lengál
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2026
Nombre de pages 434
EAN 9783032156990
Code Libristo 50123032
Éditeurs Springer, Berlin
Poids 651
Dimensions 155 x 235

Catégories

Informatique et technologies de l’information > Informatique > Informatique théorique
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

Amenhotep III Arielle P Kozloff / Livre Livre relié
common.buy 119.59 €
Top Bientôt
Lightwing Caroline Peckham / Livre Livre relié
common.buy 24.09 €
The Purposeful Argument Patricia Bostian / Livre Livre de poche
common.buy 123.89 €
Voiceless SABITH MOHAMMED / Livre Livre de poche
common.buy 12.29 €
Top
Vinyl NYC Hattie Lindert / Livre Livre relié
common.buy 32.49 €
The Random Universe JAFFE ANDREW H / Livre Livre relié
common.buy 23.69 €
Coffee With Paul and Moses K D Elizabeth Beisinger / Livre Livre de poche
common.buy 8.89 €
Filing for Bankruptcy in California Made Simple: A Guide to Help You Decide Theodore W Connolly / Livre Livre de poche
common.buy 9.89 €
Buddhist Bible: Favorite Scriptures of the Zen Sect Dwight Goddard / Livre Livre de poche
common.buy 12.39 €
Top
World Encyclopedia Of Fish & Shellfish And Other Aquatic Creatures Derek Hall / Livre Livre relié
common.buy 20.99 €
Intellectual Appeal of Catholicism and the Idea of a Catholic University MARK W. ROCHE / Livre Livre relié
common.buy 106.99 €
Luminous Landscapes Gloria Loughman / Livre Livre
common.buy 23.99 €
Visualization Analysis and Design Tamara Munzner / Livre Livre relié
common.buy 96.09 €
Strange World. a Novel. by the Author of Lady Audley's Secret [M. E. Braddon]. Mary Elizabeth Braddon / Livre Livre de poche
common.buy 23.29 €
Listener's Guide to Books on Tape John Wynne / Livre Livre de poche
common.buy 23.29 €
School of Udhra Nathaniel Mackey / Livre Livre de poche
common.buy 12.19 €
Desolation Sound Heather Harbord / Livre Livre de poche
common.buy 29.49 €
Porcelain and Pottery Shoes Anne Everest Wojtkowski / Livre Livre relié
common.buy 35.99 €
Autumn Rhythm Leon Stokesbury / Livre Livre de poche
common.buy 14.69 €
Hundred Decker Rocket SMITH MIKE / Livre Livre de poche
common.buy 9.59 €

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 ?