Temporal verification of reactive systems Safety
Τύπος υλικού: ΚείμενοΓλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Springer-Verlag c1995Περιγραφή: xviii,512p. figISBN:- 0 387 94459 1
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Συλλογή | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|---|
Book [21] | ΒΚΠ - Πατρα Αποθήκη 2.1 | Non-fiction | 005.2 MAN (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000285728 |
Browsing ΒΚΠ - Πατρα shelves, Shelving location: Αποθήκη 2.1, Collection: Non-fiction Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη | ||||||||
005.2 FRA Introduction to VAX-11 architecture and assembly language | 005.2 GRO Using MPI | 005.2 HIR Structured VAX BASIC | 005.2 MAN Temporal verification of reactive systems | 005.2 PET Mastering Visual Basic 5 | 005.2 WIL Practical parallel programming | 005.2 WRI Beginning Visual Basic 6 / |
includes bibl references