Title
Logic in Computer Science: Modelling and Reasoning about Systems,New
Sold by Ergodebooks, an authorized reseller.
Returns accepted within 30 days | support@ergodebooks.com
Shipping Information
- Free Standard Shipping — United States only
- Processing Time: 1–3 business days
- Estimated Delivery: 3–5 business days after dispatch
- Double-boxed, fully insured & discreetly packaged
- Tracking number sent via email once dispatched
- Orders over $250 require signature upon delivery. Taxes calculated at checkout.
Returns & Refund
Returns accepted within 30 days of delivery.
Damaged or Defective Item
Free return shipping + replacement or full refund
Wrong Item Received
Free return shipping + replacement or full refund
Change of Mind
Return shipping at customer's expense · 25% restocking fee applies
Payment Option
The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of modelchecking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0521652006 First Edition Pb (2000): 0521656028
⚠️ WARNING (California Proposition 65):
This product may contain chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm.
For more information, please visit www.P65Warnings.ca.gov.
- Q: What is the primary focus of 'Logic in Computer Science'? A: The textbook primarily focuses on formal reasoning as it pertains to modern computer science and practical applications.
- Q: How many pages does the second edition of this textbook have? A: The second edition contains 440 pages.
- Q: Is this book suitable for beginners in computer science? A: Yes, it provides a clear introduction to formal reasoning, making it suitable for beginners.
- Q: What improvements are made in the second edition? A: The second edition includes many new and expanded text sections, substantial updates to model-checking coverage, and additional exercises.
- Q: What is the publication date of this textbook? A: The textbook was published on August 30, 2004.
- Q: What type of binding does this book have? A: This book is available in paperback binding.
- Q: Who is the author of 'Logic in Computer Science'? A: The author of the book is Michael Huth.
- Q: Are there any supplementary materials available for this textbook? A: Yes, there is internet support that includes worked solutions for teacher exercises and model solutions for some student exercises.
- Q: What condition is this book in? A: This book is listed as 'New' condition.
- Q: Does this book cover model-checking in detail? A: Yes, the coverage of model-checking has been substantially updated in the second edition.