Essential Logic for Computer Science [electronic resource]

상세정보

자료유형	e-Book
서명/저자사항	Essential Logic for Computer Science [electronic resource] / Rex Page and Ruben Gamboa
개인저자	Page, Rex  Gamboa, Ruben
발행사항	Cambridge: MIT Press, 2019.
형태사항	1 online resource (281 p.).
ISBN	0262350726 9780262350723
일반주기	Description based upon print version of record.
요약	An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory
일반주제명	Computers
분류기호(DDC)	005.1015113
언어	영어
바로가기