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

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 178 b
72.69 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Histoire de Charles XIV (Jean Bernadotte), Roi de Suede Et de Norvege. Tome 3 Georges Touchard-Lafosse / Livre Livre de poche
common.buy 28.29 €
Eyes for the Blind Devlin Audio CD Audio
common.buy 12.79 €
Puzzle 1000 CherryPazzi Lavender Muse 31094 / Jeu/jouet Puzzle
common.buy 6.99 €
Subprime, Hypotheken und faule Kredite - Alles klar?! Julia Schweizer / Livre Livre de poche
common.buy 47.95 €
Notes pour servir a l'histoire de la Commune de Vandenesse (Nievre) (Ed.1874) Victor Gueneau / Livre Livre de poche
common.buy 11.99 €
Erzählungen Emma Niendorf / Livre Livre relié
common.buy 69.90 €
REMBRANDT Jan Blanc / Livre Livre
common.buy 199.49 €
Top
A csíkos pizsamás fiú John Boyne / Livre Livre de poche
common.buy 6.09 €
Nichtlineare Deskriptormodelle Felix Gausch / Livre numérique Adobe ePub DRM
common.buy 54.69 €
Pat Metheny - Travels Pat Metheny / Audio CD Audio
common.buy 22.59 €
За гранью японских свечей: Новые японские методы графического анализа Steve Nison / Livre Livre relié
common.buy 21.09 €
Quellen zur Geschichte des Untergangs livlandischer Selbstandigkeit C. Schirren / Livre Livre de poche
common.buy 43.90 €
Osteosintesis Ilizarov / Livre Livre relié
common.buy 58.19 €
Dr zwitser en de kerstman Wasterlain Livre Livre relié
common.buy 5.99 €
IRON MAIDEN Morceaux d'esprits Philippe Petesch / Livre Livre relié
common.buy 31.69 €
Top
Co robić gdy się martwisz Huebner Dawn / Livre Livre de poche
common.buy 6.69 €
POEMAS EMILY DICKINSON / Livre Livre relié
common.buy 12.49 €
Weihnachtliche Weisen-Kommet Manfred Zitherensemble Schuler / Audio CD Audio
common.buy 14.99 €
Grenzen-Los! Fokus Gemeinde Herbert Ammann / Livre Livre de poche
common.buy 32.00 €
Bach, Johann Sebastian - Toccaten BWV 910-916 Johann Sebastian Bach / Articles imprimés Partitions
common.buy 27.50 €
Citogematologicheskoe issledovanie ryb pri vozdejstvii tyazhelyh metallov Naida Abdullaeva / Livre Livre de poche
common.buy 38.89 €
Simon George Sand / Livre Livre de poche
common.buy 8.69 €
Textaufgaben lösen 5.-7. Klasse Haupt-/Mittelschule Walter Modschiedler / Livre Livre de poche
common.buy 17.95 €

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 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 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 47.59 €
Great War John Morrow / Livre Livre de poche
common.buy 32.99 €
A Trip Towards The Sunset Tatiana Goded / Livre Livre de poche
common.buy 14.39 €
Building Tomorrow's Smart Cities With 6G Infrastructure Technology Bal Virdee / Livre Livre relié
common.buy 363.29 €
Top
Our World in Pictures: Trees, Leaves, Flowers & Seeds DK / Livre Livre relié
common.buy 18.19 €
Writing a Poem Cecilia Minden / Livre Livre de poche
common.buy 10.59 €
A Guide To Peterborough Cathedral George Phillips / Livre Livre de poche
common.buy 8.59 €
Atomic- and Nanoscale Magnetism Roland Wiesendanger / Livre Livre relié
common.buy 126.99 €
Secret Code - Spiral of Success Christine Hofmann / Livre Livre de poche
common.buy 14.09 €
Focus on Success PLUS B1/B2: 11./12. Jg. - Vocabulary Practice Book / Livre Livre de poche
common.buy 10.29 €
Your Spiritual Gifts Can Help Your Church Grow C. Peter Wagner / Livre Livre de poche
common.buy 16.19 €
Empowerment of Women for Promoting Health and Quality of Life Snehendu B. Kar / Livre Livre relié
common.buy 94.69 €
How French Soldiers Fared in German Prisons. Edited [Or Rather Translated] by Henry Hayward Henry Hayward / Livre Livre de poche
common.buy 21.39 €
Teaching Geography Creatively Stephen Scoffham / Livre Livre de poche
common.buy 45.79 €
Social Work and Human Rights Elisabeth Reichert / Livre Livre relié
common.buy 141.19 €
Getting Away with Murder Vanessa A. Holloway / Livre Livre de poche
common.buy 41.29 €
Visions of Heaven David Stephenson / Livre Livre relié
common.buy 63.19 €
Knowledge before Action Amina M. Steinfels / Livre Livre relié
common.buy 63.69 €
101 Conversation Starters for Families Ramon L Presson / Livre Livre de poche
common.buy 8.09 €
Theory Past Papers Grade 4 / Livre Livre de poche
common.buy 4.79 €
Curmudgeon Bob Eggers / Livre Livre de poche
common.buy 12.09 €

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 ?