Item Details

Print View

Verified Software [electronic resource]: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Giannakopoulou, Dimitra
Format
EBook; Book; Online
Published
[S.l.] : Springer International Publishing, 2014.
Description
Mode of access: World wide Web.
Notes
Title from content provider.
Copyright Not EvaluatedCopyright Not Evaluated
Technical Details
  • Access in Virgo Classic
  • Staff View

    LEADER 01150cam a22002773u 4500
    001 u6526019
    003 SIRSI
    005 20161108062235.0
    006 m d
    007 cr n
    008 161108s2014 ||||||||s|||||||| ||||| d
    035
      
      
    a| (WaSeSS)ssj0001372828
    040
      
      
    a| WaSeSS c| WaSeSS d| WaSeSS
    100
    1
      
    a| Giannakopoulou, Dimitra.
    245
    1
    0
    a| Verified Software h| [electronic resource] : b| Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers / c| Giannakopoulou, Dimitra.
    260
      
      
    a| [S.l.] : b| Springer International Publishing, c| 2014.
    500
      
      
    a| Title from content provider.
    538
      
      
    a| Mode of access: World wide Web.
    655
      
    0
    a| Electronic books.
    700
    1
      
    a| Kroening, Daniel.
    710
    1
      
    a| SpringerLink (Online service)
    710
    2
      
    a| SpringerLINK ebooks - Computer Science (2014)
    710
    2
      
    a| SpringerLINK Lecture Notes in Computer Science
    856
    4
    0
    u| http://RE5QY4SB7X.search.serialssolutions.com/?V=1.0&L=RE5QY4SB7X&S=JCs&C=TC0001372828&T=marc
    596
      
      
    a| 1
    999
      
      
    a| XX(6526019.1) w| WEB i| 6526019-1001 l| INTERNET m| UVA-LIB t| INTERNET
▾See more
▴See less

Availability

Read Online