Verified software : theories, tools, experiments : third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings /
Saved in:
| Meeting name: | VSTTE (Conference) (3rd : 2010 : Edinburgh, Scotland) |
|---|---|
| Imprint: | Berlin : Springer, 2010. |
| Description: | 1 online resource (x, 215 p.) : ill. |
| Language: | English |
| Series: | Lecture notes in computer science, 0302-9743 ; 6217 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 6217. LNCS sublibrary. SL 2, Programming and software engineering. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/8866077 |
MARC
| LEADER | 00000cam a2200000Ia 4500 | ||
|---|---|---|---|
| 001 | 8866077 | ||
| 003 | ICU | ||
| 005 | 20120824125300.0 | ||
| 006 | m d | ||
| 007 | cr ||| | ||
| 008 | 100816s2010 gw a ob 101 0 eng d | ||
| 020 | |a 9783642150579 | ||
| 020 | |a 3642150578 | ||
| 035 | |a (OCoLC)656286370 | ||
| 040 | |a CUS |b eng |c CUS |d E7B |d OCLCQ |d LEAUB | ||
| 049 | |a CGUA | ||
| 082 | 0 | 4 | |a 004 |2 22 |
| 090 | |a QA76.76.V47 | ||
| 111 | 2 | |a VSTTE (Conference) |n (3rd : |d 2010 : |c Edinburgh, Scotland) |0 http://id.loc.gov/authorities/names/nb2010023283 |1 http://viaf.org/viaf/316745048 | |
| 245 | 1 | 0 | |a Verified software : |b theories, tools, experiments : third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings / |c Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani (eds.). |
| 246 | 3 | 0 | |a VSTTE 2010 |
| 260 | |a Berlin : |b Springer, |c 2010. | ||
| 300 | |a 1 online resource (x, 215 p.) : |b ill. | ||
| 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 6217 | |
| 490 | 1 | |a LNCS sublibrary. SL 2, Programming and software engineering | |
| 504 | |a Includes bibliographical references and index. | ||
| 650 | 0 | |a Computer programs |x Verification |v Congresses. | |
| 650 | 7 | |a Computer software |x Testing. |2 fast |0 http://id.worldcat.org/fast/fst00872601 | |
| 650 | 7 | |a Computer software |x Verification. |2 fast |0 http://id.worldcat.org/fast/fst00872604 | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 http://id.worldcat.org/fast/fst01423772 | |
| 700 | 1 | |a Leavens, Gary T. |0 http://id.loc.gov/authorities/names/n99255836 |1 http://viaf.org/viaf/7618936 | |
| 700 | 1 | |a O'Hearn, Peter. |1 http://viaf.org/viaf/188793539 | |
| 700 | 1 | |a Rajamani, Sriram K., |d 1970- |0 http://id.loc.gov/authorities/names/n2003002598 |1 http://viaf.org/viaf/53519761 | |
| 776 | 0 | 8 | |i Print version: |a VSTTE 2010 (2010 : Edinburgh, Scotland). |t Verified software. |d Berlin : Springer, 2010 |z 9783642150562 |w (DLC) 2010931860 |
| 830 | 0 | |a Lecture notes in computer science ; |v 6217. |x 0302-9743 | |
| 830 | 0 | |a LNCS sublibrary. |n SL 2, |p Programming and software engineering. | |
| 856 | 4 | 0 | |u http://dx.doi.org/10.1007/978-3-642-15057-9 |y SpringerLink |
| 903 | |a HeVa | ||
| 035 | |a (ICU)8866077 | ||
| 929 | |a eresource | ||
| 999 | f | f | |i ba26a71e-e733-548a-a127-acfd4bcfce7f |s fa366694-aa12-52b4-aa16-d83910dab1b7 |
| 928 | |t Library of Congress classification |a QA76.76.V47 |l Online |c UC-FullText |u http://dx.doi.org/10.1007/978-3-642-15057-9 |z SpringerLink |g ebooks |i 11473932 | ||