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

Logic In Computer Science : Modelling And Reasoning About Systems

Rs716 Rs795 10% OFF

Availability: Available

Usually ships in: 7-14 business days

(Free Delivery)

We Accept
ISBN 9780521670890
Check delivery information
 
ISBN 9780521670890
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