Результати пошуку

  • Показ 1 - 6 результатів із 6
Уточнити результати
  1. 1

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS за авторством Yoeli, Michael, 1917-

    Опубліковано 2008
    An electronic book accessible through the World Wide Web; click to view
    Електронний ресурс eКнига
  2. 2

    Petri nets fundamental models, verification and applications /

    Опубліковано 2009
    An electronic book accessible through the World Wide Web; click to view
    Електронний ресурс eКнига
  3. 3

    Biological petri nets

    Опубліковано 2011
    An electronic book accessible through the World Wide Web; click to view
    Електронний ресурс eКнига
  4. 4

    Property-preserving petri net process algebra in software engineering за авторством Huang, Hejiao

    Опубліковано 2012
    An electronic book accessible through the World Wide Web; click to view
    Електронний ресурс eКнига
  5. 5

    Logic, computation, hierarchies /

    Опубліковано 2014
    An electronic book accessible through the World Wide Web; click to view
    Електронний ресурс eКнига
  6. 6

    Systems dependability assessment : benefits of petri net models / за авторством Aubry, Jean-François, Brînzei, Nicolae, Mazouni, Mohammed-Habib

    Опубліковано 2015
    An electronic book accessible through the World Wide Web; click to view
    Електронний ресурс eКнига