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 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
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 210 b
85.89 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

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

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 55.19 €
Great War John Morrow / Livre Livre de poche
common.buy 42.19 €
Top
Our World in Pictures: Trees, Leaves, Flowers & Seeds DK / Livre Livre relié
common.buy 19.09 €
Writing a Poem Cecilia Minden / Livre Livre de poche
common.buy 12.49 €
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 150.19 €
Secret Code - Spiral of Success Christine Hofmann / Livre Livre de poche
common.buy 16.89 €
Focus on Success PLUS B1/B2: 11./12. Jg. - Vocabulary Practice Book / Livre Livre de poche
common.buy 11.99 €
Your Spiritual Gifts Can Help Your Church Grow C. Peter Wagner / Livre Livre de poche
common.buy 17.29 €
Building Tomorrow's Smart Cities With 6G Infrastructure Technology Bal Virdee / Livre Livre relié
common.buy 443.99 €
A Trip Towards The Sunset Tatiana Goded / Livre Livre de poche
common.buy 17.69 €
How French Soldiers Fared in German Prisons. Edited [Or Rather Translated] by Henry Hayward Henry Hayward / Livre Livre de poche
common.buy 27.89 €
Curmudgeon Bob Eggers / Livre Livre de poche
common.buy 15.79 €
Teaching Geography Creatively Stephen Scoffham / Livre Livre de poche
common.buy 52.99 €
Theory Past Papers Grade 4 / Livre Livre de poche
common.buy 5.99 €
101 Conversation Starters for Families Ramon L Presson / Livre Livre de poche
common.buy 9.09 €
Empowerment of Women for Promoting Health and Quality of Life Snehendu B. Kar / Livre Livre relié
common.buy 76.69 €
Physics Of Comets (2nd Edition) K.S.K. Swamy / Livre Livre relié
common.buy 70.29 €
Getting Away with Murder Vanessa A. Holloway / Livre Livre de poche
common.buy 49.79 €
Social Work and Human Rights Elisabeth Reichert / Livre Livre relié
common.buy 141.19 €

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 ?