LIBROS DEL AUTOR: eric y t juan

2 resultados para LIBROS DEL AUTOR: eric y t juan

eric y t juan Eliminar filtro Quitar filtros
  • Compositional Verification of Concurrent and Real-Time Systems
    Eric Y.T. Juan / Jeffrey J.P. Tsai
    With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient m...
    Disponible

    134,25 €

  • Compositional Verification of Concurrent and Real-Time Systems
    Eric Y.T. Juan / Jeffrey J.P. Tsai
    With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient m...
    Disponible

    132,90 €