Verifying temporal properties of systems Julian Charles Bradfield
Τύπος υλικού:![Κείμενο](/opac-tmpl/lib/famfamfam/BK.png)
- 0 8176 3625 0
- 003.1
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Συλλογή | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|---|
![]() |
ΒΚΠ - Πατρα Αποθήκη 2.1 | Non-fiction | 003.1 BRA (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Διαθέσιμο | 025000285190 |
Browsing ΒΚΠ - Πατρα shelves, Shelving location: Αποθήκη 2.1, Collection: Non-fiction Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
![]() |
![]() |
![]() |
![]() |
![]() |
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη | Η εικόνα εξωφύλλου δεν είναι διαθέσιμη | ||
001.64 LOO Data management and file processing / | 001.642 4 LEC Pascal for programmers / | 001.642 RIM RIMS symposia on software science and engineering, Kyoto, 1982 : | 003.1 BRA Verifying temporal properties of systems | 003.1 EYK System identification | 003.1 LJU System identification | 003.1 SOD System Identification |
Τομέας εφαρμογων και θεμελιώσεων της επιστημης των υπολογιστων. Εργαστήριο συνδυαστικων αλγορίθμων