Formal Methods in Computer Science

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

Author: Jiacun Wang
Publisher: CRC Press
Published: 06/25/2019
Pages: 294
Binding Type: Hardcover
Weight: 1.15lbs
Size: 9.80h x 6.70w x 0.90d
ISBN: 9780367225704

About the Author

Jiacun Wang received a PhD in computer engineering from Nanjing University of Science and Technology, China. He is a professor of Software Engineering at Monmouth University. He was previously with Nortel Networks and was a research associate at Florida International University. Dr. Wang has been teaching formal methods for both undergraduates and graduates at Monmouth University since 2004.

William Tepfenhart was a professor of Computer Science and Software Engineering at Monmouth University. Trained as a physicist, his areas of expertise included object-oriented software development, artificial intelligence, and software engineering. His knowledge of modeling physical systems formed the basis for major contributions in the area of software development.