Page, Rex
QRcode
자료유형 | E-BOOK |
---|---|
서명/저자사항 | Essential Logic for Computer Science [electronic resource]. |
개인저자 | Page, Rex. Gamboa, Ruben, |
발행사항 | Cambridge: MIT Press, 2019. |
형태사항 | 1 online resource (281 p.). |
기타형태 저록 | Print version: Page, Rex Essential Logic for Computer Science Cambridge : MIT Press,c2019 9780262039185 |
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. COMPUTERS / Computer Science. Computers. |
언어 | 영어 |
바로가기 | URL |
서평 (0 건)
*주제와 무관한 내용의 서평은 삭제될 수 있습니다.
서평추가