Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια.
Δημιουργία δωρεάν λογαριασμού
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 €
Σημείο Elta 3.99 €
Elta 4.49 €
ACS 4.99 €
Box Now 3.99 €
Σημείο ACS 3.99 €
Επικοινωνία
Πώς να κάνετε αγορές;
Βοήθεια
Παράδοση
DHL courier 9.99 €
Σημείο Elta 3.99 €
Elta 4.49 €
ACS 4.99 €
Box Now 3.99 €
Σημείο ACS 3.99 €
Δωρεάν αποστολή με Box Now άνω των 69.99 €
Οδηγός αγορών
Είμαστε στη διάθεσή σας!
210 2602819
Ο λογαριασμός μου
▸
Άδειο :-(
0
Partial Order Methods in Verification
Γλώσσα
Αγγλική
Αγγλική
Βιβλίο
Σκληρόδετο
Presents surveys on the theory and practice of modeling, specifying, and validating concurrent syste...
Πλήρης περιγραφή
Κωδικός Libristo: 04461033
?
351 b
351 b
145.15
€
50% πιθανότητα
θα ψάξουμε όλο τον κόσμο
Πότε θα λάβω το βιβλίο;
Παράδοση στην Ελλάδα
Παράδοση στην Ελλάδα
Έως 30 ημέρες για επιστροφή
Presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. This book contains surveys of techniques used in tools developed for automatic validation of systems. It includes an e-mail debate that took place about the importance of the partial order dichotomy in modeling concurrency.
Ηθοποιός
&
Πολύγλωσση
EWA KASP
για
Αναπαραγωγή βίντεο
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.
Πληροφορίες για το βιβλίο
Πλήρες όνομα
Partial Order Methods in Verification
Συγγραφέας
Doron Peled
Γλώσσα
Αγγλική
Αγγλική
Βιβλιοδεσία
Βιβλίο - Σκληρόδετο
Ημερομηνία έκδοσης
1997
Αριθμός σελίδων
403
EAN
9780821805794
ISBN
0821805797
Κωδικός Libristo
04461033
ΕΕκδοτικός οίκος
American Mathematical Society
Βάρος
964
