| LDR | | 01582cmm u2200409Mu 4500 |
| 001 | | 000000321444 |
| 003 | | OCoLC |
| 005 | | 20230613110837 |
| 006 | | m d |
| 007 | | cr cnu---unuuu |
| 008 | | 200711s2019 xx o ||| 0 eng d |
| 020 | |
▼a 0262350726 |
| 020 | |
▼a 9780262350723
▼q (electronic bk.) |
| 035 | |
▼a 2517828
▼b (N$T) |
| 035 | |
▼a (OCoLC)1164501177 |
| 040 | |
▼a EBLCP
▼b eng
▼c EBLCP
▼d RECBK
▼d OCLCO
▼d OCLCF
▼d N$T
▼d 248032 |
| 049 | |
▼a MAIN |
| 050 | 4 |
▼a QA76.9.L63 |
| 082 | 04 |
▼a eBook |
| 100 | 1 |
▼a Page, Rex. |
| 245 | 10 |
▼a Essential Logic for Computer Science
▼h [electronic resource]. |
| 260 | |
▼a Cambridge :
▼b MIT Press,
▼c 2019. |
| 300 | |
▼a 1 online resource (281 p.) |
| 500 | |
▼a Description based upon print version of record. |
| 520 | |
▼a An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory. |
| 590 | |
▼a Added to collection customer.56279.3 |
| 650 | 0 |
▼a Computers. |
| 650 | 7 |
▼a COMPUTERS / Computer Science.
▼2 bisacsh |
| 650 | 7 |
▼a Computers.
▼2 fast
▼0 (OCoLC)fst00872776 |
| 655 | 4 |
▼a Electronic books. |
| 700 | 1 |
▼a Gamboa, Ruben. |
| 776 | 08 |
▼i Print version:
▼a Page, Rex
▼t Essential Logic for Computer Science
▼d Cambridge : MIT Press,c2019
▼z 9780262039185 |
| 856 | 40 |
▼3 EBSCOhost
▼u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=2517828 |
| 938 | |
▼a Recorded Books, LLC
▼b RECE
▼n rbeEB00827937 |
| 938 | |
▼a ProQuest Ebook Central
▼b EBLB
▼n EBL6246621 |
| 938 | |
▼a EBSCOhost
▼b EBSC
▼n 2517828 |
| 990 | |
▼a 관리자 |
| 994 | |
▼a 92
▼b N$T |