Teaching and learning formal methods

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