Verifying temporal properties of systems Julian Charles Bradfield

Συντελεστής(ές):

Τύπος υλικού:

ΚείμενοΣειρά: Progress in theoretical computer scienceΛεπτομέρειες δημοσίευσης: Boston Birkhauser 1992Περιγραφή: vi,113p.:figISBN:

Θέμα(τα):

Ταξινόμηση DDC:

Αντίτυπα
Τύπος τεκμηρίου	Τρέχουσα βιβλιοθήκη	Συλλογή	Ταξιθετικός αριθμός	Αριθμός αντιτύπου	Κατάσταση	Ημερομηνία λήξης	Ραβδοκώδικας
Book [21]	ΒΚΠ - Πατρα Αποθήκη 2.1	Non-fiction	003.1 BRA (Περιήγηση στο ράφι(Άνοιγμα παρακάτω))	1	Διαθέσιμο		025000285190

Τομέας εφαρμογων και θεμελιώσεων της επιστημης των υπολογιστων. Εργαστήριο συνδυαστικων αλγορίθμων

Κοινοποίηση