Teaching and learning formal methods

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Dean, C. Neville, Hinchey, Michael G.
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: London Academic Press 1996
Σειρά:Academic Press international series in formal methods
Θέματα:

Παρόμοια τεκμήρια