Logic in Computer Science : Modelling and Reasoning about Systems, 2nd Edition
-5%
Availability: In Stock

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

SKU: 9780521670890

Original price was: ₹1,225.00.Current price is: ₹1,163.75.

Master the foundational logic essential for computer science with “Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition.” This comprehensive guide from The Bookish Owl equips students with the formal training needed to understand and utilize powerful logic-based verification methods. Explore propositional and predicate logic, alongside specialized logics crucial for software and hardware system correctness. Featuring clear explanations, essential terminology, and numerous examples, this book introduces symbolic model checking, a rapidly advancing technique for system verification. Essential for students and professionals seeking to build robust, verifiable computer systems. Get your copy today and enhance your logical reasoning skills for modern computing challenges.

5 in stock

Category: Tag:

Description

  • ISBN-10: 9780521670890
  • ISBN-13: 978-0521670890
  • Edition: Second
  • Publisher: Cambridge University Press
  • Publication date: 1 January 2005
  • Language: English
  • Dimensions: 20.3 x 25.4 x 4.7 cm
  • Print length: 441 pages

Related products