Title: Formal Methods : Foundations and Applications
Subjects: Computer sound processing, Artificial intelligence, Computer science, Computer architecture, Computer networks, Computer software, development