LIBRISTO
LIBROAMANTO
υποχρεωτικό
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 Σημείο Elta 3.99 Elta 4.49 ACS 4.99 Σημείο ACS 4.99 Box Now 3.99

Verification, Model Checking, and Abstract Interpretation

23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Verification, Model Checking, and Abstract Interpretation Bernd Finkbeiner
Κωδικός Libristo: 38504817
ΕΕκδοτικός οίκος Springer Nature Switzerland AG, Ιανουάριος 2022
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Ch... Πλήρης περιγραφή
? points 224 b
92.77
Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

30 ημέρες για την επιστροφή των προϊόντων


Οι πελάτες αγόρασαν επίσης


Lo que debe saber todo buen republicano Anónimo / Βιβλίο Χαρτόδετο
common.buy 15.87
Ojo de Halcon: Seis dias en la vida de ... FRACTION / Βιβλίο Χαρτόδετο
common.buy 16.18
Zur Legis Actio Sacramento in Rem: Habilitationsschrift Philipp Lotmar / Βιβλίο Χαρτόδετο
common.buy 20.23
Hemingi Chartularium Ecclesiae Wigorniensis (1723) Hemingus / Βιβλίο Σκληρόδετο
common.buy 54.02
Der Sockel in der Skulptur des 19. und 20. Jahrhunderts Johannes Myssok / Βιβλίο Σκληρόδετο
common.buy 60.29
Der tolle Bomberg, 1 DVD Rolf Thiele / Video DVD
common.buy 21.74
Le préfet et les collectivités Sut / Βιβλίο Χαρτόδετο
common.buy 81.84

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Verification, Model Checking, and Abstract Interpretation
Συγγραφέας Bernd Finkbeiner, Thomas Wies
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2022
Αριθμός σελίδων 520
EAN 9783030945824
Κωδικός Libristo 38504817
ΕΕκδοτικός οίκος Springer Nature Switzerland AG
Βάρος 807
Διαστάσεις 155 x 235 x 29
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει


Parameters in Old French Syntax: Infinitival Complements E. H. Pearce / Βιβλίο Σκληρόδετο
common.buy 154.39
Joy of Basketball Andrew Kuo / Βιβλίο Σκληρόδετο
common.buy 21.24
Nuclear Power's Global Expansion: Weighing Its Costs and Risks Henry D Sokolski / Βιβλίο Χαρτόδετο
common.buy 25.99
Zombies vs. Robots 2 Joe Cautilli / Βιβλίο Χαρτόδετο
common.buy 16.58
STORY OF THE 2ND WW Henry Steele Commager / Βιβλίο Χαρτόδετο
common.buy 18.30
WHEN THE LORD REMEMBERS HIS OW Malcolm Davis / Βιβλίο Χαρτόδετο
common.buy 11.52
Neufs Vies Du Chat Montezuma Michael Morpurgo / Βιβλίο Χαρτόδετο
common.buy 9.30

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo