Teaching and learning formal methods

• Other Authors: Dean, C. Neville, Hinchey, Michael G.
• Format: Book
• Language: English
• Published: London Academic Press 1996
• Series: Academic Press international series in formal methods
• Subjects: Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές; Λογική, Συμβολική και μαθηματική
• Physical Description: xvi, 285 p. 23 cm
• ISBN: 0123490405