Specification and proof in real-time CPS

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Davies, J. (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: New York Cambridge University Press c1993
Σειρά:Distinguished Dissertations in Computer Science
Θέματα:

ΒΚΠ - Πατρα: ALFe

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Πατρα: ALFe
Ταξιθετικός Αριθμός: 005.43 DAV
Αντίγραφο 1 Στη βιβλιοθήκη