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.

Verification, Model Checking, and Abstract Interpretation

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Verification, Model Checking, and Abstract Interpretation Dirk Beyer
Code Libristo: 25366158
Éditeurs Springer Nature Switzerland AG, février 2020
This book constitutes the proceedings of the 21st International Conference on Verification, Model Ch... Description détaillée
? points 199 b
82.43 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Osteosintesis Ilizarov / Livre Livre relié
common.buy 71.91 €
Eyes for the Blind Devlin Audio CD Audio
common.buy 14.35 €
За гранью японских свечей: Новые японские методы графического анализа Steve Nison / Livre Livre relié
common.buy 25.08 €
Subprime, Hypotheken und faule Kredite - Alles klar?! Julia Schweizer / Livre Livre de poche
common.buy 42.78 €
Top
A csíkos pizsamás fiú John Boyne / Livre Livre de poche
common.buy 7.48 €
REMBRANDT Jan Blanc / Livre Livre
common.buy 244.59 €
Puzzle 1000 CherryPazzi Lavender Muse 31094 / Jeu/jouet Puzzle
common.buy 8.99 €
Dr zwitser en de kerstman Wasterlain Livre Livre relié
common.buy 7.58 €
IRON MAIDEN Morceaux d'esprits Philippe Petesch / Livre Livre relié
common.buy 38.94 €
Co robić gdy się martwisz Huebner Dawn / Livre Livre de poche
common.buy 8.69 €
POEMAS EMILY DICKINSON / Livre Livre relié
common.buy 15.57 €
Simon George Sand / Livre Livre de poche
common.buy 10.31 €
Quellen zur Geschichte des Untergangs livlandischer Selbstandigkeit C. Schirren / Livre Livre de poche
common.buy 39.24 €
Textaufgaben lösen 5.-7. Klasse Haupt-/Mittelschule Walter Modschiedler / Livre Livre de poche
common.buy 16.68 €
Citogematologicheskoe issledovanie ryb pri vozdejstvii tyazhelyh metallov Naida Abdullaeva / Livre Livre de poche
common.buy 44.50 €
Grenzen-Los! Fokus Gemeinde Herbert Ammann / Livre Livre de poche
common.buy 34.38 €
Histoire de Charles XIV (Jean Bernadotte), Roi de Suede Et de Norvege. Tome 3 Georges Touchard-Lafosse / Livre Livre de poche
common.buy 33.47 €
Notes pour servir a l'histoire de la Commune de Vandenesse (Nievre) (Ed.1874) Victor Gueneau / Livre Livre de poche
common.buy 14.35 €
Bach, Johann Sebastian - Toccaten BWV 910-916 Johann Sebastian Bach / Articles imprimés Partitions
common.buy 23.26 €

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

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 Verification, Model Checking, and Abstract Interpretation
Auteur Dirk Beyer, Damien Zufferey
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2020
Nombre de pages 471
EAN 9783030393212
Code Libristo 25366158
Éditeurs Springer Nature Switzerland AG
Poids 741
Dimensions 155 x 235 x 27

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel
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

Jacob's Ladder Reading Comprehension Program Tamra Stambaugh / Livre Livre de poche
common.buy 53.40 €
Great War John Morrow / Livre Livre de poche
common.buy 40.35 €
Top
Our World in Pictures: Trees, Leaves, Flowers & Seeds DK / Livre Livre relié
common.buy 18.10 €
Writing a Poem Cecilia Minden / Livre Livre de poche
common.buy 12.03 €
A Guide To Peterborough Cathedral George Phillips / Livre Livre de poche
common.buy 8.28 €
Atomic- and Nanoscale Magnetism Roland Wiesendanger / Livre Livre relié
common.buy 144.04 €
Secret Code - Spiral of Success Christine Hofmann / Livre Livre de poche
common.buy 16.18 €
Focus on Success PLUS B1/B2: 11./12. Jg. - Vocabulary Practice Book / Livre Livre de poche
common.buy 11.52 €
Your Spiritual Gifts Can Help Your Church Grow C. Peter Wagner / Livre Livre de poche
common.buy 16.68 €
Building Tomorrow's Smart Cities With 6G Infrastructure Technology Bal Virdee / Livre Livre relié
common.buy 428.80 €
A Trip Towards The Sunset Tatiana Goded / Livre Livre de poche
common.buy 16.98 €
How French Soldiers Fared in German Prisons. Edited [Or Rather Translated] by Henry Hayward Henry Hayward / Livre Livre de poche
common.buy 26.59 €
Curmudgeon Bob Eggers / Livre Livre de poche
common.buy 14.96 €
Teaching Geography Creatively Stephen Scoffham / Livre Livre de poche
common.buy 51.38 €
Theory Past Papers Grade 4 / Livre Livre de poche
common.buy 5.65 €
101 Conversation Starters for Families Ramon L Presson / Livre Livre de poche
common.buy 8.69 €
Empowerment of Women for Promoting Health and Quality of Life Snehendu B. Kar / Livre Livre relié
common.buy 74.34 €
Physics Of Comets (2nd Edition) K.S.K. Swamy / Livre Livre relié
common.buy 67.97 €
Getting Away with Murder Vanessa A. Holloway / Livre Livre de poche
common.buy 48.14 €
Social Work and Human Rights Elisabeth Reichert / Livre Livre relié
common.buy 137.16 €

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 ?