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: Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές; Λογική, Συμβολική και μαθηματική