Specification and proof in real-time CPS

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

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

ΚείμενοΓλώσσα: Αγγλικά Σειρά: Distinguished Dissertations in Computer ScienceΛεπτομέρειες δημοσίευσης: New York Cambridge University Press c1993Περιγραφή: xvii, 180p. figISBN:

Θέμα(τα):

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

βιβλιογραφια:σσ.175-180

Κοινοποίηση