ALL libraries (COBIB.SI union bibliographic/catalogue database)
  • 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



Library/institution City Acronym For loan Other holdings
Library of Technical Faculties, Maribor Maribor KTFMB outside loan 1 cop.
Library FKKT and FRI, Ljubljana Ljubljana FKKRI restricted loan – outside loan 1 cop.
loading ...
loading ...
loading ...

Shelf entry