Content 80% case studies Pervades computer science, e.g., hardware circuit design, artificial intelligence, knowledge representation, database systems, programming languages, software engineering (design, verification, specification), … Will help you understand application of formal methods in computer science. i.e. Formal specifications in Z Content 20% Theoretical study Learn about history of formalism in mathematics and computer science Will help you understand advantages, limitations…
Words 761 - Pages 4