LDR | | 01389nam u200361 4500 |
001 | | 000000457411 |
005 | | 20210323092051 |
008 | | 210127s2019 |||||||||||||||||c||eng d |
020 | |
▼a 9781658464888 |
040 | |
▼a 247004
▼c 247004
▼d 247004 |
082 | 0 |
▼a 004 |
100 | 1 |
▼a Dutra, Rafael Tupynamba. |
245 | 10 |
▼a Efficient Sampling of SAT and SMT Solutions for Testing and Verification. |
260 | |
▼a [S.l.]:
▼b University of California, Berkeley.,
▼c 2019. |
260 | 1 |
▼a Ann Arbor:
▼b ProQuest Dissertations & Theses,
▼c 2019. |
300 | |
▼a 92 p. |
500 | |
▼a Source: Dissertations Abstracts International, Volume: 81-10, Section: B. |
500 | |
▼a Advisor: Sen, Koushik. |
502 | 1 |
▼a Thesis (Ph.D.)--University of California, Berkeley, 2019. |
506 | |
▼a This item must not be sold to any third party vendors. |
650 | 4 |
▼a Computer science. |
710 | 20 |
▼a University of California, Berkeley.
▼b Electrical Engineering & Computer Sciences. |
773 | 0 |
▼t Dissertations Abstracts International
▼g 81-10B. |
773 | |
▼t Dissertation Abstract International |
791 | |
▼a Ph.D. |
792 | |
▼a 2019 |
793 | |
▼a English |
856 | 40 |
▼u http://www.riss.kr/pdu/ddodLink.do?id=T15758380
▼n KERIS
▼z 이 자료의 원문은 한국교육학술정보원에서 제공합니다. |
980 | |
▼a 202102
▼f 2021 |
990 | |
▼a ***1012033 |
991 | |
▼a E-BOOK |