Logic in Computer Science: Modelling and Reasoning about Systems

Logic in Computer Science: Modelling and Reasoning about Systems, 9780521543101 (052154310X), Cambridge University Press, 2004

"Huth and Ryan explain a variety of fundamental topics in formal computer science logic and help readers understand how to follow and expand on them." H.J. Bender, Any Language Communications, Inc., CHOICE

"Readers searching for a good book on formal methods will find it here." Choice

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 model-checking 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): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8

From the Author

The paperback and hardback textbook are supplemented with an on-line tutor at Logic in Computer Science

Ancillary material for instructors and readers can be found on-line at Logic in Computer Science --This text refers to an out of print or unavailable edition of this title.

Comments

Amazing Books

Start-Up Secure: Baking Cybersecurity into Your Company from Founding to Exit

John Wiley & Sons, 2021

Add cybersecurity to your value proposition and protect your company from cyberattacks

Cybersecurity is now a requirement for every company in the world regardless of size or industry. Start-Up Secure: Baking Cybersecurity into Your Company from Founding to Exit covers everything a founder, entrepreneur and...

Dictionary of Gems and Gemology

Springer, 2008

The rapid growth of gemological sciences and mineralogy requires a comprehensive dictionary for gemologists, mineralogists, geologists, jewel dealers, industry, and hobbyists. The third edition of this dictionary contains about 24,000 entries – about 4,000 more than the second edition. The comprehensive definitions are now completed by...

Haemostasis in Spine Surgery

Springer, 2005

Blood loss in spine surgery is a significant and very common problem connected with all kinds of surgical procedures. An international faculty of authors provide a comprehensive survey on the research and evidence about blood sparing in spine surgery. This publication fills a gap in the spinal literature and provides invaluable data for all...

68: Optimizing Hemoglobin Levels and Beyond: Strength for Living and Meaningful Survival

Karger, 2005

Significant advances in the treatment of patients with cancer have occurred over the last decade, as evidenced by steadily improving cure rates and extended durations of survival. There is often a critical trade-off, however, because more intense cytotoxic regimens may result in increased adverse events, including an...

Digital Video Hacks : Tips & Tools for Shooting, Editing, and Sharing

O'Reilly, 2005

Since the dawn of film, novices and experts have used quick-and-dirty workarounds and audiovisual tricks to improve their motion pictures, from home movies to feature films. Today, the tools have certainly changed, as have the quality and scope of the results. With digital video, the hacking possibilities are now limitless,...

Automating Microsoft Azure Infrastructure Services: From the Data Center to the Cloud with PowerShell

O'Reilly, 2014

Get valuable tips and techniques for automating your cloud deployments with Azure PowerShell cmdlets, and learn how to provision Azure services on the fly. In this hands-on guide, Microsoft cloud technology expert Michael Washam shows you how to automate various management tasks and deploy solutions that are both complex and at...