Entrar

    Programming with Higher-Order Logic

    Dale Miller, Gopalan Nadathur

    Cambridge University Press
    2012
    320 páginas
    10h 40m
    ISBN-13: 9780521879408
    0
    0 avaliação
    Leram0Lendo0Querem0Relendo0Abandonos0Resenhas0

    Estatísticas

    Avaliações

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