Billede af bogens forside - Essential Logic for Computer Science

Essential Logic for Computer Science

af Rex (Professor (Emeritus) Page

Bog, Hardback, Engelsk, 2019

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 approach t... (Læs mere)

Priser fra 4 boghandlere

Bogdetaljer

  • SprogEngelsk
  • IndbindingHardback
  • ISBN9780262039185
  • Udgivet8/01/2019
  • Udgivet afMIT Press Ltd
  • Længde304 sider
  • ForfatterRex (Professor (Emeritus) Page
  • GenreBusiness og læring, Computer og IT