NUK - logo
Centralna tehniška knjižnica Univerze v Ljubljani (CTK)
Celotno besedilo
  • Model checking software [Elektronski vir] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings
    International SPIN Workshop (18th ; 2011 ; Snowbird, Utah)
    Vrsta gradiva - e-knjiga
    Založništvo in izdelava - Heidelberg : Springer, 2011
    Jezik - angleški
    ISBN - 978-3-642-22306-8; 3-642-22306-0
    COBISS.SI-ID - 1544247519

    Povezava(-e):

    SpringerLink e-books 2008-2012

    Celotno besedilo dostopno za uporabnike SpringerLink slovenskega konzorcija neprofitnih institucij

    Full text accessible to the users of SpringerLink Slovenian Consortium of Non-Profit Institutions


    DOI