Logic in Computer Science : Modelling and Reasoning about Systems, 2nd Edition

Price: ₹1,225 - ₹999.88
(as of Dec 08, 2025 20:12:29 UTC – Details)


Recent years have seen the development of powerful tools for verifying hardware and software systems and increasing interest in that technology from major companies. Students need a basic formal training which allows them to gain sufficient proficiency in using logic-based verification methods. This book addresses these needs by providing a sound basis in logic and an introduction to the logical frameworks used in modelling specifying and verifying computer systems. It provides a simple and clear presentation covering propositional and predicate logic and some specialized logics used for reasoning about the correctness of computer systems. The authors introduce a carefully chosen core of essential terminology: further technicalities are introduced only when necessary. Numerous examples are given as well as a full exposition of a fast-growing technique for modelling and verifying computer systems known as symbolic model checking.
ASIN ‏ : ‎ 0521670896
Publisher ‏ : ‎ Cambridge University Press; Second edition (1 January 2005)
Language ‏ : ‎ English
Paperback ‏ : ‎ 441 pages
ISBN-10 ‏ : ‎ 9780521670890
ISBN-13 ‏ : ‎ 978-0521670890
Item Weight ‏ : ‎ 550 g
Dimensions ‏ : ‎ 20.3 x 25.4 x 4.7 cm
Country of Origin ‏ : ‎ India
Best Sellers Rank: #264,817 in Books (See Top 100 in Books) #11 in Computer Modelling
Customer Reviews: 4.6 4.6 out of 5 stars (49) var dpAcrHasRegisteredArcLinkClickAction; P.when(‘A’, ‘ready’).execute(function(A) { if (dpAcrHasRegisteredArcLinkClickAction !== true) { dpAcrHasRegisteredArcLinkClickAction = true; A.declarative( ‘acrLink-click-metrics’, ‘click’, { “allowLinkDefault”: true }, function (event) { if (window.ue) { ue.count(“acrLinkClickCount”, (ue.count(“acrLinkClickCount”) || 0) + 1); } } ); } }); P.when(‘A’, ‘cf’).execute(function(A) { A.declarative(‘acrStarsLink-click-metrics’, ‘click’, { “allowLinkDefault” : true }, function(event){ if(window.ue) { ue.count(“acrStarsLinkWithPopoverClickCount”, (ue.count(“acrStarsLinkWithPopoverClickCount”) || 0) + 1); } }); });