Temporal Logic for Real-Time Systems

    Jonathan S. Ostroff

    John Wiley & Sons Inc
    1989
    222 páginas
    7h 24m
    ISBN-10: 0471924024

    Estatísticas

    Avaliações

    0 / 0
    • 5 estrelas0%
    • 4 estrelas0%
    • 3 estrelas0%
    • 2 estrelas0%
    • 1 estrelas0%