LIBROS DEL AUTOR: jiacun wang

7 resultados para LIBROS DEL AUTOR: jiacun wang

jiacun wang Eliminar filtro Quitar filtros
  • Formal Methods in Computer Science
    Jiacun Wang / William Tepfenhart
    This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.  ...
    Disponible

    162,42 €

  • Formal Methods in Computer Science
    Jiacun Wang / William Tepfenhart
    This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.  ...
    Disponible

    315,07 €

  • Handbook of Finite State Based Models and Applications
    Jiacun Wang
    Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering. This handbook provides a complete collection of introductory materials on finite state theories, algorithms, and the latest domain applications. For ...
    Disponible

    119,84 €

  • Timed Petri Nets
    Jiacun Wang
    Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance discrete event dynamic systems (DEDSs). These systems exhibit concurrent, sequential, competitive activities among their components. They are often complex and large in scale, and necessarily flexible a...
    Disponible

    269,14 €

  • Handbook of Finite State Based Models and Applications
    Jiacun Wang
    Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering. This handbook provides a complete collection of introductory materials on finite state theories, algorithms, and the latest domain applications. For ...
    Disponible

    305,69 €

  • Timed Petri Nets
    Jiacun Wang
    Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance discrete event dynamic systems (DEDSs). These systems exhibit concurrent, sequential, competitive activities among their components. They are often complex and large in scale, and necessarily flexible and thus highly capital-inte...
    Disponible

    47,82 €

  • Timed Petri Nets
    Jiacun Wang
    Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance discrete event dynamic systems (DEDSs). These systems exhibit concurrent, sequential, competitive activities among their components. They are often complex and large in scale, and necessarily flexible a...
    Disponible

    267,78 €