Related Books
Language: en
Pages: 564
Pages: 564
Type: BOOK - Published: 1988 - Publisher: Prentice Hall
Computing with logic / Maier, D., Warren, D.S.
Language: en
Pages: 305
Pages: 305
Type: BOOK - Published: 2019-01-08 - Publisher: MIT Press
An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory. Comput
Language: en
Pages: 427
Pages: 427
Type: BOOK - Published: 2004-08-26 - Publisher:
Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.
Language: en
Pages: 208
Pages: 208
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
This book provides the reader with the key concepts and techniques of modern digital logic design and applications. This concise treatment provides essential de
Language: en
Pages: 302
Pages: 302
Type: BOOK - Published: 2012-02-27 - Publisher: Springer Science & Business Media
This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The languag