ISBN 9780521670890,Logic In Computer Science : Modelling And Reasoning About Systems

Logic In Computer Science : Modelling And Reasoning About Systems

Rs795

Publisher

Cambridge University Press

Publication Year 2010
ISBN-13

ISBN 9780521670890

ISBN-10 0521670896
Binding

Paperback

Edition 2nd
Number of Pages 427 Pages
Language (English)
Subject

Programming languages

The second edition of this textbook provides an introductionto formal reasoning that is both relevant to the needs of modern computerscience and rigorous enough for practical application. The presentation is clearand simple. A key feature is the full exposition of model-checking, and the newedition supports the most up-to-date versions of the tools NuSMV and Alloy.
Scroll