Item Details

Print View

Software Engineering and Formal Methods SEFM 2014 Collocated Workshops [electronic resource]: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Canal, Carlos
Format
EBook; Book; Online
Published
[S.l.] : Springer International Publishing, 2015.
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 01221cam a22002893u 4500
    001 u6517498
    003 SIRSI
    005 20161108062235.0
    006 m d
    007 cr n
    008 161108s2015 ||||||||s|||||||| ||||| d
    035
      
      
    a| (WaSeSS)ssj0001424603
    040
      
      
    a| WaSeSS c| WaSeSS d| WaSeSS
    100
    1
      
    a| Canal, Carlos.
    245
    1
    0
    a| Software Engineering and Formal Methods SEFM 2014 Collocated Workshops h| [electronic resource] : b| HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers / c| Canal, Carlos.
    260
      
      
    a| [S.l.] : b| Springer International Publishing, c| 2015.
    500
      
      
    a| Title from content provider.
    538
      
      
    a| Mode of access: World wide Web.
    655
      
    0
    a| Electronic books.
    700
    1
      
    a| Idani, Akram.
    710
    1
      
    a| SpringerLink (Online service)
    710
    2
      
    a| SpringerLINK Lecture Notes in Computer Science
    710
    2
      
    a| SpringerLINK ebooks - Computer Science (2015)
    710
    2
      
    a| SpringerLINK Lecture Notes in Computer Science (2015)
    856
    4
    0
    u| http://RE5QY4SB7X.search.serialssolutions.com/?V=1.0&L=RE5QY4SB7X&S=JCs&C=TC0001424603&T=marc
    596
      
      
    a| 1
    999
      
      
    a| XX(6517498.1) w| WEB i| 6517498-1001 l| INTERNET m| UVA-LIB t| INTERNET
▾See more
▴See less

Availability

Read Online