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