Home / Books / Science / Formal Methods in Computer Science (Textbooks in Mathematics)
Formal Methods in Computer Science (Textbooks in Mathematics) by Jiacun Wang

Formal Methods in Computer Science (Textbooks in Mathematics)

Jiacun Wang
312 pages
Chapman and Hall/CRC
Jun 2019
Hardcover
Science WSBN
0
Readers
0
Reviews
0
Discussions
0
Quotes
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
Add to My Library Buy on Amazon Find in Library
Join the conversation

No discussions yet. Join BookLovers to start a discussion about this book!

No reviews yet. Join BookLovers to write the first review!

No quotes shared yet. Join BookLovers to share your favorite quotes!

Earn Points
Your voice matters. Every comment, review, and quote earns you reward points redeemable for Bitcoin.
Comment +5 pts Review +20 pts Quote +7 pts Upvote +1 pt
BookMatch Quiz
Find books similar to this one
About this book
Pages 312
Publisher Chapman and Hall/CRC
Published 2019
Readers 0

More by Jiacun Wang

View All
Handbook of Finite State Based Models and Applications (Discrete Mathematics and Its Applications 75)
Handbook of Finite State Based Models and Applications (Discrete Mathematics and Its Applications 75)

Similar Books in Science

View All Similar
Framed: Astonishing True Stories of Wrongful Convictions by John Grisham
Framed: Astonishing True Stories of Wrongful Convictions
John Grisham
 Salt: A World History by Mark Kurlansky
Salt: A World History
Mark Kurlansky
 Thing Explainer: Complicated Stuff in Simple Words by Randall Munroe
Thing Explainer: Complicated Stuff in Simple Words
Randall Munroe
 Thing Explainer: Complicated Stuff in Simple Words by Randall Munroe
Thing Explainer: Complicated Stuff in Simple Words
Randall Munroe
 What's Next: A Backstage Pass to The West Wing, Its Cast and Crew, and Its Enduring Legacy of Service by Melissa Fitzgerald
What's Next: A Backstage Pass to The West Wing, Its Cast and Crew, and Its Enduring Legacy of Service
Melissa Fitzgerald
 Tell Me Your Life Story, Dad: A Father’s Guided Journal and Memory Keepsake Book (Tell Me Your Life Story® Series Books) by Questions About Me
Tell Me Your Life Story, Dad: A Father’s Guided Journal and Memory Keepsake Book (Tell Me Your Life Story® Series Books)
Questions About Me