Verified software : theories, tools, experiments : third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings /

Saved in:
Bibliographic Details
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
Hidden Bibliographic Details
Varying Form of Title:VSTTE 2010
Other authors / contributors:Leavens, Gary T.
O'Hearn, Peter.
Rajamani, Sriram K., 1970-
ISBN:9783642150579
3642150578
Notes:Includes bibliographical references and index.
Other form:Print version: VSTTE 2010 (2010 : Edinburgh, Scotland). Verified software. Berlin : Springer, 2010 9783642150562

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