Item Details

Print View

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings [electronic resource]

Seidl, Martina
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 01103cam a22002773u 4500
    001 u6404379
    003 SIRSI
    005 20161108062235.0
    006 m d
    007 cr n
    008 161108s2014 ||||||||s|||||||| ||||| d
    035
      
      
    a| (WaSeSS)ssj0001298716
    040
      
      
    a| WaSeSS c| WaSeSS d| WaSeSS
    100
    1
      
    a| Seidl, Martina.
    245
    1
    0
    a| Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings h| [electronic resource] / c| Seidl, Martina.
    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| Tillmann, Nikolai.
    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=TC0001298716&T=marc
    596
      
      
    a| 1
    999
      
      
    a| XX(6404379.1) w| WEB i| 6404379-1001 l| INTERNET m| UVA-LIB t| INTERNET
▾See more
▴See less

Availability

Read Online