Partial-Order methods for the verification of concurrent systems An approach to the state-explosion problem
Τύπος υλικού: ΚείμενοΓλώσσα: Αγγλικά Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1032Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1996Περιγραφή: 142p. figISBN:- 3 540 60761 7
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
Μηχανικών Η/Υ και Πληροφορικής | 005.14 GOD (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο |
bibliography:pp.133-142