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
- BoghandlerPrisFragtLevering
- Bogreolen495,95 kr.34,95 kr.4-7 hverdageKøb for 495,95 kr.Køb
- Tales496,95 kr.34,95 kr.4-7 hverdageKøb for 496,95 kr.Køb
- Pling BØGER538,95 kr.34,95 kr.4-7 hverdageKøb for 538,95 kr.Køb
- SAXO539,95 kr.Gratis fragtUkendtKøb for 539,95 kr.Køb
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