LIBROS DEL AUTOR: r kurki suonio

1 resultados para LIBROS DEL AUTOR: r kurki suonio

r kurki suonio Eliminar filtro Quitar filtros
  • A Practical Theory of Reactive Systems
    R. Kurki-Suonio
    Prologue.- Components of a Theory.- Fundamentals.- Towards an Action Language.- Formal Properties of Behaviors.- Proving Behavioral Properties.- Building a Practical Theory.- Basic Language Facilities.- Fundamentals of Design Methodology.- Object Orientation Elaborated.- Components and Interfaces.- Distributed and Real-Time Systems.- Distributed Systems.- Real Time.- Epilogue.-...
    Disponible

    131,98 €