Logic in Computer Science : Modelling...

Price: ₹1,225 - ₹1,150.00
(as of Apr 18, 2026 20:19:39 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.
Publisher ‏ : ‎ Cambridge University Press
Publication date ‏ : ‎ 1 January 2005
Edition ‏ : ‎ Second
Language ‏ : ‎ English
Print length ‏ : ‎ 441 pages
ISBN-10 ‏ : ‎ 9780521670890
ISBN-13 ‏ : ‎ 978-0521670890
Item Weight ‏ : ‎ 748 g
Dimensions ‏ : ‎ 20.3 x 25.4 x 4.7 cm
Best Sellers Rank: #231,913 in Books (See Top 100 in Books) #6 in Computer Modelling
Customer Reviews: 4.7 4.7 out of 5 stars (52) 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); } }); });