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: Pólrola, Agata
    Responsabilitate: Wojciech Penczek, Agata Pólrola
    Editura: 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
    Cota topografică: III 53280
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