Formal Methods: State of the Art and New Directions

• Κύριος συγγραφέας: Boca, Paul
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Bowen, Jonathan P., Siddiqi, Jawed
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: London Springer-Verlag London 2010
• Θέματα: Computer science; Software engineering; Computer Science; Software Engineering; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters