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

Verification, Model Checking, and Abstract Interpretation

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

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Verification, Model Checking, and Abstract Interpretation Yu-Fang Chen
Κωδικός Libristo: 50123032
ΕΕκδοτικός οίκος Springer, Berlin, Μάρτιος 2026
This book constitutes the proceedings of the 27th International Conference on Verification, Model Ch... Πλήρης περιγραφή
? points 185 b
76.26 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

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

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

Die drei ??? Kids, Das außerirdische Buch Ulf Blanck / Βιβλίο Σκληρόδετο
common.buy 11.12 €
Le carnet de Gabriel - Petits carreaux, 96p, A5 - Graffiti / Ημερολόγιο/ημερολόγιο ατζέντα Ημερολόγιο
common.buy 10.81 €
Ce que le corps révèle vraiment de vous Claudine Biland Βιβλίο Χαρτόδετο
common.buy 30.03 €

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.

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

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

Πλήρες όνομα Verification, Model Checking, and Abstract Interpretation
Συγγραφέας Yu-Fang Chen, Thomas Philip Jensen, Ondrej Lengál
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2026
Αριθμός σελίδων 434
EAN 9783032156990
Κωδικός Libristo 50123032
ΕΕκδοτικός οίκος Springer, Berlin
Βάρος 651
Διαστάσεις 155 x 235

Κατηγορία

Computing & Information Technology > Computer science > Mathematical theory of computation
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Hundred Decker Rocket SMITH MIKE / Βιβλίο Χαρτόδετο
common.buy 9.70 €
Porcelain and Pottery Shoes Anne Everest Wojtkowski / Βιβλίο Σκληρόδετο
common.buy 37.92 €
Desolation Sound Heather Harbord / Βιβλίο Χαρτόδετο
common.buy 20.22 €
School of Udhra Nathaniel Mackey / Βιβλίο Χαρτόδετο
common.buy 13.65 €
Visualization Analysis and Design Tamara Munzner / Βιβλίο Σκληρόδετο
common.buy 99.23 €
World Encyclopedia Of Fish & Shellfish And Other Aquatic Creatures Derek Hall / Βιβλίο Σκληρόδετο
common.buy 21.23 €
The Random Universe JAFFE ANDREW H / Βιβλίο Σκληρόδετο
common.buy 26.49 €
Vinyl NYC Hattie Lindert / Βιβλίο Σκληρόδετο
common.buy 34.59 €
Voiceless SABITH MOHAMMED / Βιβλίο Χαρτόδετο
common.buy 13.34 €
The Purposeful Argument Patricia Bostian / Βιβλίο Χαρτόδετο
common.buy 132.61 €

Είσοδος

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

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

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

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

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;