Essential Logic for Computer Science by Rex Page, Hardcover, 9780262039185 | Buy online at The Nile
Essential Logic for Computer Science by Rex Page - ISBN: 9780262039185
Hardcover
An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.

Essential Logic for Computer Science

By:
Series:

$103.22

  • Hardcover

    304 pages

  • Release Date

    8 January 2019

Check Delivery Options

Summary

An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.Computer scientists use logic for testing and verification of software and digital circuits, but many computer science students study logic only in the context of traditional mathematics, encountering the subject in a few lectures and a handful of problem sets in a discrete math course. This book offers a more substantive and rigorous approac…

Book Details

ISBN-13:9780262039185
ISBN-10:0262039184
Author:Rex Page, Ruben Gamboa
Publisher:MIT Press Ltd
Imprint:MIT Press
Format:Hardcover
Number of Pages:304
Release Date:8 January 2019
Weight:636g
Dimensions:229mm x 178mm x 22mm
Series:The MIT Press
You Can Find This Book In
About The Author

Rex Page

Rex Page is Professor Emeritus in the School of Computer Science at the University of Oklahoma.Ruben Gamboa is Professor in the Department of Computer Science at the University of Wyoming.

Returns

This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.