Model-checking for Sequential Probabilistic Real-time Systems C.T.I. Technical Report TR 93.02.7

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Γαροφαλάκης, Μίνως (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Patras Greece Patras Greece Πάτρα Ελλάδα Computer Technology Institute Computer Science and Engineering Department, Patras University Ινστιτούτο Τεχνολογίας Υπολογιστών 1993
Θέματα:

Μηχανικών Η/Υ και Πληροφορικής: Unknown

Λεπτομέρειες τεκμηρίων από Μηχανικών Η/Υ και Πληροφορικής: Unknown
Ταξιθετικός Αριθμός: Unknown
Αντίγραφο 1 Στη βιβλιοθήκη