Biblioteca Universităţii din Craiova

  • Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach
  • Tipul înregistrării: Text tipărit: monografic
    Autor: Penczek, Wojciech
    Autor alternativ: Pólrola, Agata
    Responsabilitate: Wojciech Penczek, Agata Pólrola
    Detalii publicare: Springer
    Locul publicării: Berlin Heidelberg New York
    Anul Ediției: 2006
    ISBN: 3-540-32869-6
    ISBN: 978-3-540-32869-8
    Descriere: XXXII, 257 p. : fig., tab.
    Note: Bibliogr. p. 233-243
    Note: Index p. 245-257
    Note: Progrese în verificarea sistemelor în timp real cu ajutorul reţelelor Petri şi automate cu temporizare
    Limba: Engleză
    Serie: Studies in Computational Intelligence
    Subiect: Reţele Petri
    Subiect: Automate programabile
    Subiect: Sisteme în timp real
    Clasificare: 004.031.43
    Clasificare: 519.713:004.42
    Clasificare: 082.1 Studies in Computational Intelligence
    Cota topografică: III 53280
    Note conţinut: Progrese în verificarea sistemelor în timp real cu ajutorul reţelelor Petri şi automate cu temporizare
Unităţi
Număr inventar Nume localizare Clasă unitate Tip material Cota Clasă utilizare Situaţie împrumut Rezervări Număr Volum Note Fişiere ataşate  
807978
Electrotehnică - sala de lectură
Împrumut la sala de lectură
Carte tipărită
III 53280
1.Normal
La raft
0
Evaluări
Exportă
Filiala de unde se ridică
Vă rugăm să schimbaţi parola