Teaching and learning formal methods

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