Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Saved in:
| Meeting name: | CAV (Conference) (18th : 2006 : Seattle, Wash.) |
|---|---|
| Imprint: | Berlin ; New York : Springer, ©2006. |
| Description: | 1 online resource (xv, 564 pages) : illustrations. |
| Language: | English |
| Series: | Lecture notes in computer science, 0302-9743 ; 4144 LNCS sublibrary. SL 1, Theoretical computer science and general issues Lecture notes in computer science ; 4144. LNCS sublibrary. SL 1, Theoretical computer science and general issues. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11069296 |
MARC
| LEADER | 00000cam a2200000Ia 4500 | ||
|---|---|---|---|
| 001 | 11069296 | ||
| 005 | 20170630045805.2 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 081017s2006 gw a ob 101 0 eng d | ||
| 003 | ICU | ||
| 010 | |a 2006930415 | ||
| 040 | |a GW5XE |b eng |e pn |c GW5XE |d UMC |d OCLCQ |d OKU |d BAKER |d OHX |d YDXCP |d COO |d UAB |d YNG |d MND |d UKMGB |d E7B |d OCLCO |d OCLCQ |d OCLCA |d OCLCF |d BEDGE |d DKDLA |d OCLCQ |d OCLCO |d IDEBK |d SLY |d OCLCO |d OCLCQ |d OCLCO |d OCL |d OCLCO |d OCLCQ |d EBLCP |d VT2 | ||
| 016 | 7 | |a 013543236 |2 Uk | |
| 019 | |a 70850793 |a 316700918 |a 436368163 |a 613677999 |a 739131808 |a 767213894 |a 785778831 |a 880103898 |a 964888598 | ||
| 020 | |a 9783540374114 |q (ebook) | ||
| 020 | |a 3540374116 |q (ebook) | ||
| 020 | |a 9783540374060 |q (pbk.) | ||
| 020 | |a 354037406X |q (pbk.) | ||
| 035 | |a (OCoLC)262693849 |z (OCoLC)70850793 |z (OCoLC)316700918 |z (OCoLC)436368163 |z (OCoLC)613677999 |z (OCoLC)739131808 |z (OCoLC)767213894 |z (OCoLC)785778831 |z (OCoLC)880103898 |z (OCoLC)964888598 | ||
| 037 | |a 978-3-540-37406-0 |b Springer |n http://www.springerlink.com | ||
| 050 | 4 | |a QA76.76.V47 |b C38 2006eb | |
| 084 | |a TP391. 7-532 |2 clc | ||
| 049 | |a MAIN | ||
| 111 | 2 | |a CAV (Conference) |n (18th : |d 2006 : |c Seattle, Wash.) | |
| 245 | 1 | 0 | |a Computer aided verification : |b 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings / |c Thomas Ball, Robert B. Jones (eds.). |
| 246 | 3 | 0 | |a CAV 2006 |
| 260 | |a Berlin ; |a New York : |b Springer, |c ©2006. | ||
| 300 | |a 1 online resource (xv, 564 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
| 337 | |a computer |b c |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/c | ||
| 338 | |a online resource |b cr |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/cr | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 4144 | |
| 490 | 1 | |a LNCS sublibrary. SL 1, Theoretical computer science and general issues | |
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Computer software |x Verification |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2009121254 | |
| 650 | 0 | |a Integrated circuits |x Verification |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008123906 | |
| 650 | 6 | |a Circuits intégrés |x Vérification |v Congrès. | |
| 650 | 6 | |a Logiciels |x Vérification |v Congrès. | |
| 650 | 0 | 7 | |a Integrated circuits |x Verification. |2 cct |
| 650 | 0 | 7 | |a Circuits intégrés |x Vérification. |2 cct |
| 650 | 0 | 7 | |a Logiciels |x Vérification. |2 cct |
| 650 | 0 | 7 | |a Computer software |x Verification. |2 cct |
| 650 | 7 | |a Informatique. |2 eclas | |
| 650 | 7 | |a Computer software |x Verification. |2 fast |0 (OCoLC)fst00872604 | |
| 650 | 7 | |a Integrated circuits |x Verification. |2 fast |0 (OCoLC)fst00975600 | |
| 650 | 7 | |a Circuits intégrés |x Vérification |v Congrès. |2 rvm | |
| 650 | 7 | |a Logiciels |x Vérification |v Congrès. |2 rvm | |
| 655 | 4 | |a Electronic books. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772 | |
| 700 | 1 | |a Ball, Thomas, |d 1965- |0 http://id.loc.gov/authorities/names/n2003002593 |1 http://viaf.org/viaf/85380218 | |
| 700 | 1 | |a Jones, Robert B. |q (Robert Brent), |d 1969- |0 http://id.loc.gov/authorities/names/n2002010720 |1 http://viaf.org/viaf/11662045 | |
| 776 | 0 | 8 | |i Print version: |a CAV (Conference) (18th : 2006 : Seattle, Wash.). |t Computer aided verification. |d Berlin ; New York : Springer, ©2006 |z 354037406X |z 9783540374060 |w (OCoLC)71247056 |
| 776 | 0 | 8 | |i Print version: |a CAV (Conference) (18th : 2006 : Seattle, Wash.). |t Computer aided verification. |d Berlin ; New York : Springer, ©2006 |z 354037406X |z 9783540374060 |w (DLC) 2006930415 |w (OCoLC)71247056 |
| 830 | 0 | |a Lecture notes in computer science ; |v 4144. | |
| 830 | 0 | |a LNCS sublibrary. |n SL 1, |p Theoretical computer science and general issues. | |
| 856 | 4 | 0 | |u http://link.springer.com/10.1007/11817963 |y SpringerLink |
| 903 | |a HeVa | ||
| 929 | |a eresource | ||
| 999 | f | f | |i 0687b7a3-b0f1-59fe-9583-eb15908601d7 |s 0ac6df5e-c6f8-5a91-bd9b-3c802c6ab446 |
| 928 | |t Library of Congress classification |a QA76.76.V47 C38 2006eb |l Online |c UC-FullText |u http://link.springer.com/10.1007/11817963 |z SpringerLink |g ebooks |i 9877340 | ||