Entrar

    The SPIN Model Checker: Primer and Reference Manual

    Gerard J. Holzmann

    Addison-Wesley Professional
    2003
    608 páginas
    20h 16m
    ISBN-10: 0321228626
    0
    0 avaliação
    Leram0Lendo0Querem0Relendo0Abandonos0Resenhas0

    Estatísticas

    Avaliações

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