Item Details

Print View

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops [electronic resource]: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Counsell, Steve
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 01167cam a22002773u 4500
    001 u6377913
    003 SIRSI
    005 20161108062235.0
    006 m d
    007 cr n
    008 161108s2014 ||||||||s|||||||| ||||| d
    035
      
      
    a| (WaSeSS)ssj0001187534
    040
      
      
    a| WaSeSS c| WaSeSS d| WaSeSS
    100
    1
      
    a| Counsell, Steve.
    245
    1
    0
    a| Software Engineering and Formal Methods SEFM 2013 Collocated Workshops h| [electronic resource] : b| BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers / c| Counsell, Steve.
    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| Núñez, Manuel.
    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=TC0001187534&T=marc
    596
      
      
    a| 1
    999
      
      
    a| XX(6377913.1) w| WEB i| 6377913-1001 l| INTERNET m| UVA-LIB t| INTERNET
▾See more
▴See less

Availability

Read Online