HANDBOOK OF LOGIC AND PROOF TECHNIQUES FOR COMPUTER SCIENCE
-20%
Availability: In Stock

HANDBOOK OF LOGIC AND PROOF TECHNIQUES FOR COMPUTER SCIENCE

SKU: 9780817642204

Original price was: ₹5,156.47.Current price is: ₹4,125.17.

Master the fundamentals of logic and proof techniques essential for computer science with this comprehensive handbook. Published by Springer, this hardcover edition is a vital resource for students and professionals seeking to strengthen their understanding of formal reasoning. Explore core concepts and practical applications that underpin algorithmic design, software verification, and artificial intelligence. This expertly written guide, perfect for your bookshelf at The Bookish Owl, provides clear explanations and numerous examples to solidify your grasp of logical principles. Enhance your problem-solving skills and elevate your computer science expertise with this indispensable reference, covering 245 pages of essential knowledge.

5 in stock

Category: Tag:

Description

  • ISBN-10: 081764220X
  • ISBN-13: 978-0817642204
  • Edition: 2002nd
  • Publisher: SPRINGER
  • Publication date: 1 January 2002
  • Language: English
  • Dimensions: 15.9 x 1.78 x 24.13 cm
  • Print length: 245 pages

Related products