Αγαπητοί μας πελάτες,
Θα θέλαμε να σας ενημερώσουμε ότι, για τεχνικούς λόγους, η τηλεφωνική γραμμή εξυπηρέτησής μας είναι προσωρινά εκτός λειτουργίας.
Σας ευχαριστούμε θερμά για την κατανόηση!
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια.
Δημιουργία δωρεάν λογαριασμού
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 10.49 €
Σημείο Elta 4.49 €
Elta 4.99 €
ACS 5.49 €
Box Now 4.49 €
Σημείο ACS 4.49 €
Επικοινωνία
Πώς να κάνετε αγορές;
Βοήθεια
Παράδοση
DHL courier 10.49 €
Σημείο Elta 4.49 €
Elta 4.99 €
ACS 5.49 €
Box Now 4.49 €
Σημείο ACS 4.49 €
Δωρεάν αποστολή με Box Now άνω των 69.99 €
Οδηγός αγορών
Είμαστε στη διάθεσή σας!
210 2602819
Ο λογαριασμός μου
▸
Άδειο :-(
0
Αγαπητοί μας πελάτες,
Θα θέλαμε να σας ενημερώσουμε ότι, για τεχνικούς λόγους, η τηλεφωνική γραμμή εξυπηρέτησής μας είναι προσωρινά εκτός λειτουργίας.
Σας ευχαριστούμε θερμά για την κατανόηση!
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings
Γλώσσα
Αγγλική
Αγγλική
Βιβλίο
Χαρτόδετο
This book constitutes the refereed proceedings of the Joint International Workshop on Process Algebr...
Πλήρης περιγραφή
Κωδικός Libristo: 01564460
?
118 b
118 b
48.60
€
Σε εξωτερική αποθήκη
Αποστέλλουμε σε 5-8 ημέρες
Παράδοση στην Ελλάδα
Παράδοση στην Ελλάδα
Έως 30 ημέρες για επιστροφή
Οι πελάτες αγόρασαν επίσης
/
Σκληρόδετο
60.98
€
This book constitutes the refereed proceedings of the Joint International Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2002, held in Copenhagen, Denmark, in July 2002.The 10 revised full papers and four abstracts presented together with two invited contributions were carefully reviewed and selected from 19 submissions. Among the issues addressed are fault-tolerant systems, security analysis, probabilistic protocols, reduction refinement, concurrency, model checking, stochastic modeling, local area network protocols, stochastic process algebras, and Petri nets.
Ηθοποιός
&
Πολύγλωσση
EWA KASP
για
Αναπαραγωγή βίντεο
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.
Πληροφορίες για το βιβλίο
Πλήρες όνομα
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Συγγραφέας
Holger Hermanns, Roberto Segala
Γλώσσα
Αγγλική
Αγγλική
Βιβλιοδεσία
Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης
2002
Αριθμός σελίδων
222
EAN
9783540439134
ISBN
3540439137
Κωδικός Libristo
01564460
ΕΕκδοτικός οίκος
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Βάρος
730
Διαστάσεις
155 x 235 x 13
Κατηγορία
Computing & Information Technology
>
Computer programming / software engineering
>
Compilers & interpreters
Computing & Information Technology
>
Computer programming / software engineering
>
Programming & scripting languages: general
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτηΜπορεί να σας ενδιαφέρει
/
Χαρτόδετο
48.60
€
/
Χαρτόδετο
35.21
€
Σύμβουλος βιβλίων Libroamiko
Χρησιμοποιώντας αυτήν τη συνομιλία, επικοινωνείτε με δημιουργική τεχνητή νοημοσύνη. Με τη χρήση της, συμφωνείτε επίσης με την επεξεργασία προσωπικών δεδομένων.
Γεια σας! Είμαι ο Libroamiko, ο σύμβουλος βιβλίων σας.
Πώς μπορώ να σας βοηθήσω;
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;