Formal Methods in Computer Science by Jiacun Wang

Formal Methods in Computer Science

By

  • Genre Computers
  • Publisher CRC Press
  • Released
  • Size 31.99 MB
  • Length 313 Pages

Description

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logi

More Jiacun Wang Books