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 |