Programming by Construction

Mauno Rönkkö, Markus Stocker, Mats Neovius, Mikko Kolehmainen, Luigia Petre

    Tutkimustuotos: Kirja/lehti/raporttiTutkimusraporttiAmmatillinen

    AlkuperäiskieliEi tiedossa
    KustantajaTurku Centre for Computer Science (TUCS)
    ISBN (painettu)978-952-12-2978-7
    TilaJulkaistu - 2013
    OKM-julkaisutyyppiD4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

    Viittausmuodot