Library FKKT and FRI, Ljubljana (FKKRI)
  • Reactive systems : modelling, specification and verification
    Aceto, Luca ...
    Type of material - book
    Publication and manufacture - Cambridge [etc.] : Cambridge University Press, cop. 2007
    Language - english
    ISBN - 978-0-521-87546-2; 0-521-87546-3
    COBISS.SI-ID - 6325076

    Link(s):

    http://www.loc.gov/catdir/enhancements/fy0805/2007282029-t.html

    Kazalo in bibliografski podatki



Call number – location, accession no. ... Copy status Reservation
IN:200055119 on loan - outside loan, due date: not specified
loading ...
loading ...
loading ...

Shelf entry