가야대학교 분성도서관
주메뉴
자료검색
- Home
- 상세정보
상세정보
부가기능
Essential Logic for Computer Science [electronic resource].
상세 프로파일
| 자료유형 | E-Book |
|---|---|
| 개인저자 | Page, Rex. Gamboa, Ruben. |
| 서명/저자사항 | Essential Logic for Computer Science[electronic resource]. |
| 발행사항 | Cambridge : MIT Press, 2019. |
| 형태사항 | 1 online resource (281 p.) |
| 소장본 주기 | Added to collection customer.56279.3 |
| 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. |
| 언어 | 영어 |
| 기타형태 저록 | Print version:Page, RexEssential Logic for Computer ScienceCambridge : MIT Press,c20199780262039185 |
| 대출바로가기 | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=2517828 |
소장정보
- 소장정보
인쇄
| No. | 등록번호 | 청구기호 | 소장처 | 도서상태 | 반납예정일 | 예약 | 서비스 | 매체정보 |
|---|---|---|---|---|---|---|---|---|
| 1 | WE00020341 | eBook | 가야대학교/전자책서버(컴퓨터서버)/ | 대출가능 |
|
카피라이터
