Mostra 1 - 6 risultati di 6 ricerca '"Program correctness."', tempo di risposta: 0,02s Raffina i risultati
  1. 1

    Artificial unintelligence how computers misunderstand the world di Broussard, Meredith

    Pubblicazione 2018
    Click here to access thru EZproxy
    Click here to access
    Electronic Resource

    Artificial unintelligence how computers misunderstand the world
  2. 2

    The correctness problem in computer science

    Pubblicazione 1981
    Libro

    The correctness problem in computer science
  3. 3

    A counter-example to an algorithm for the generalized input-output construct of CSP. di Kumar, Devendra

    Articolo

    A counter-example to an algorithm for the generalized input-output construct of CSP.
  4. 4

    Apps we wish we had.

    Pubblicato in Manila bulletin
    Articolo

    Apps we wish we had.
  5. 5

    Unifying wp and wlp. di Morgan, Carroll

    Articolo

    Unifying wp and wlp.
  6. 6

    Fundamentals of programming lecture notes on CMSC 21.

    Libro

    Fundamentals of programming lecture notes on CMSC 21.

Strumenti per la ricerca: