LIBROS DEL AUTOR: stephan merz

1 resultados para LIBROS DEL AUTOR: stephan merz

stephan merz Eliminar filtro Quitar filtros
  • Temporal Logic and State Systems
    Fred Kröger / Stephan Merz
    Basic Concepts and Notions of Logics.- Basic Propositional Linear Temporal Logic.- Extensions of LTL.- Expressiveness of Propositional Linear Temporal Logics.- First-Order Linear Temporal Logic.- State Systems.- Verification of State Systems.- Verification of Concurrent Programs.- Structured Specification.- Other Temporal Logics.- System Verification by Model Checking. ...
    Disponible

    108,54 €