Κανονική προβολή
Προβολή MARC
- McIver, Annabelle
McIver, Annabelle (Personal Name)
Machine generated authority record.
Work cat.: (GR-PaULI)46872: McIver, Annabelle, Abstraction, Refinement and Proof for Probabilistic Systems, 2005
Machine generated authority record.
Work cat.: (GR-PaULI)46872: McIver, Annabelle, Abstraction, Refinement and Proof for Probabilistic Systems, 2005
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα Τηλ: 2610969621, Φόρμα επικοινωνίας |