Որոնման արդյունքները

  • Ցուցադրվում են 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
    Էլեկտրոնային էլ․ գիրք
  2. 2

    Petri nets fundamental models, verification and applications /

    Հրապարակվել է 2009
    An electronic book accessible through the World Wide Web; click to view
    Էլեկտրոնային էլ․ գիրք
  3. 3

    Biological petri nets

    Հրապարակվել է 2011
    An electronic book accessible through the World Wide Web; click to view
    Էլեկտրոնային էլ․ գիրք
  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
    Էլեկտրոնային էլ․ գիրք
  5. 5

    Logic, computation, hierarchies /

    Հրապարակվել է 2014
    An electronic book accessible through the World Wide Web; click to view
    Էլեկտրոնային էլ․ գիրք
  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
    Էլեկտրոնային էլ․ գիրք