Wednesday, March 24, 2010
Logic in Computer Science: Modelling and Reasoning about Systems
Do you like this story?
Cambridge University Press | ISBN: 0521656028 | edition 1999 | PDF | 405 pages | 56,7 MB
This is an excellent textbook on logic and formal methods which is very suitable for computer science students... discusses the whole range from logic to applications: propositional and predicate logic, temporal logic and more generally
model logic, program verification, model checking, and symbolic model checking using binary decision diagrams ... As any good textbook, this book is not only to be recommended for students but for anyone who is interested in applications of logic in computer science.
DOWNLOAD
This post was written by: Franklin Manuel
Franklin Manuel is a professional blogger, web designer and front end web developer. Follow him on Twitter
Subscribe to:
Post Comments (Atom)
0 Responses to “Logic in Computer Science: Modelling and Reasoning about Systems”
Post a Comment