Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια.
Δημιουργία δωρεάν λογαριασμού
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 €
Σημείο Elta 3.99 €
Elta 4.49 €
ACS 4.99 €
Σημείο ACS 4.99 €
Box Now 3.99 €
Επικοινωνία
Πώς να κάνετε αγορές;
Βοήθεια
Παράδοση
DHL courier 9.99 €
Σημείο Elta 3.99 €
Elta 4.49 €
ACS 4.99 €
Σημείο ACS 4.99 €
Box Now 3.99 €
Δωρεάν αποστολή με Box Now άνω των 69.99 €
Οδηγός αγορών
Είμαστε στη διάθεσή σας!
210 2602819
Ο λογαριασμός μου
▸
Άδειο :-(
0
Formal Methods and Software Engineering
Γλώσσα
Αγγλική
Αγγλική
Βιβλίο
Χαρτόδετο
This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Form...
Πλήρης περιγραφή
Κωδικός Libristo: 49786071
?
185 b
185 b
76.28
€
Εξωτερικός αποθηκευτικός χώρος
Αποστέλλουμε σε 5-8 ημέρες
Παράδοση στην Ελλάδα
Παράδοση στην Ελλάδα
30 ημέρες για την επιστροφή των προϊόντων
Οι πελάτες αγόρασαν επίσης
/
Χαρτόδετο
16.28
€
/
Χαρτόδετο
11.93
€
This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10 13, 2025.
The 20 full papers presented were carefully reviewed and selected from 47 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods.
Ηθοποιός
&
Πολύγλωσση
EWA KASP
για
Αναπαραγωγή βίντεο
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.
Πληροφορίες για το βιβλίο
Πλήρες όνομα
Formal Methods and Software Engineering
Συγγραφέας
Jingyi Wang, Naijun Zhan
Γλώσσα
Αγγλική
Αγγλική
Βιβλιοδεσία
Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης
2025
Αριθμός σελίδων
416
EAN
9789819542123
ISBN
981954212X
Κωδικός Libristo
49786071
ΕΕκδοτικός οίκος
Springer-Verlag GmbH
Βάρος
628
Διαστάσεις
155 x 235
