Erakusten 1 - 1 emaitzak -- 1 bilaketa honetara 'Barnett, Mike', Bilaketaren denbora: 0,01s Findu emaitzak
  1. 1

    Weakest-precondition of unstructured programs. nork Barnett, Mike

    Argitaratua izan da Software engineering notes.
    Artikulua

    Weakest-precondition of unstructured programs.

Bilaketa egiteko lanabesak: