Entrar

    Model Checking

    Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith

    MIT Press
    2018
    424 páginas
    14h 8m
    ISBN-13: 9780262349451
    0
    0 avaliação
    Leram0Lendo0Querem0Relendo0Abandonos0Resenhas0

    Estatísticas

    Avaliações

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