Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
  Our Catalog   Software Design, Testing & Engineering   Logic

Logic in Computer Science: Modelling and Reasoning about Systems


Blowout Sale! Save 52% on the Logic in Computer Science: Modelling and Reasoning about Systems by Michael Huth at EMS Linux. MPN: 12609080. Hurry! Limited time offer. Offer valid only while supplies last. The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer


Product Description

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

Additional Information

Manufacturer:Cambridge University Press
Brand:Michael Huth
Part Number:12609080
Publisher:Cambridge University Press
Studio:Cambridge University Press
MPN:12609080
EAN:9780521543101
Item Weight:1.8 pounds
Item Size:0.83 x 9.72 x 9.72 inches
Package Weight:1.99 pounds
Package Size:6.85 x 1 x 1 inches

Logic in Computer Science: Modelling and Reasoning about Systems by Michael Huth

Buy Now:
Logic in Computer Science: Modelling and Reasoning about Systems

Brand: Michael Huth
4.5 out of 5 stars with 38 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$74.99
$36.41
You Save: 51%


Quantity:  

 


View More In Logic.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Michael Huth, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


By CreateSpace Independent Publishing Platform
ean: 9781482593334, isbn: 1482593335,
Designing a complex ASIC/SoC is similar to learning a language well and then creating a masterpiece using experience, imagination, and creativity. Digital design starts with RTL such as Verilog or VHDL, but it is only the beginning. A complete design...

By Brand: Newnes
mpn: 43171-554866, ean: 9781856175074, isbn: 1856175073,
This entertaining and readable book provides a solid, comprehensive introduction to contemporary electronics. It's not a "how-to-do" electronics book, but rather an in-depth explanation of how today's integrated circuits work, how they are designed a...

By Oxford University Press, USA
mpn: line illustrations, ean: 9780195080292, isbn: 0195080297,
Filling the need for an accessible, carefully structured introductory text in symbolic logic, Modern Logic has many features designed to improve students' comprehension of the subject, including a proof system that is the same as the award-winning co...

By Morgan Kaufmann Publishers
mpn: 23581071, ean: 9780120887859, isbn: 0120887851,
VHDL, the IEEE standard hardware description language for describing digital electronic systems, has recently been revised. The Designer's Guide to VHDL has become a standard in the industry for learning the features of VHDL and using it to verify ha...

By McGraw-Hill Education
ean: 9780070242470, isbn: 007024247X,
Light photons impinging upon a semiconductor material in the vicinity of a P-N junction release conduction carriers to produce current flow through the photodiode effect. Photodiode amplifiers convert this current to a voltage in a relationship that ...

By Wiley-Interscience
ean: 9780470185315, isbn: 0470185317,
This book uses a "learn by doing" approach to introduce the concepts and techniques of VHDL and FPGA to designers through a series of hands-on experiments. FPGA Prototyping by VHDL Examples provides a collection of clear, easy-to-follow templates for...

By Maker Media, Inc
mpn: colour illustrations, ean: 9781457187858, isbn: 145718785X,
What if you could use software to design hardware? Not just any hardware--imagine specifying the behavior of a complex parallel computer, sending it to a chip, and having it run on that chip--all without any manufacturing? With Field-Programmable Gat...

By Morgan Kaufmann
ean: 9780128007273, isbn: 0128007273,
Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a de...

By O'Reilly Media
mpn: 43426663, ean: 9781491928325, isbn: 1491928328,
Augmented Reality (AR) blurs the boundary between the physical and digital worlds. In AR’s current exploration phase, innovators are beginning to create compelling and contextually rich applications that enhance a user’s everyday experiences. In ...

By CreateSpace Independent Publishing Platform
ean: 9781523364022, isbn: 1523364025,
SystemVerilog is a Hardware Description Language that enables designers to work at the higher levels of logic design abstractions that match the increased complexity of current day integrated circuit and field-programmable gate array (FPGA) designs. ...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.