biblioteche, Università, Trieste, libri, cd, dvd, ebook, prestito, consultazione, lettura, biblioteche universita? di trieste, sba, Sistema bibliotecario di ateneo, opac, catalogo, online, servizi, biblioteca

Metodi formali

Strumenti

Nuovo Soggettario Firenze

Tecniche rigorose per la verifica formale e sistematica della correttezza dei programmi per elaboratori

  • Scheda dati thesauro (per debug... da rimuovere)

      Scheda dati thesauro

    id: TSA00359830
    cd: FN
    name: Metodi formali
    category: C5
    topterm: Strumenti
    nt: Tecniche rigorose per la verifica formale e sistematica della correttezza dei programmi per elaboratori

    === LUCENE ===
    nDoc: 0
    nDocAU: 0
    nDocED: 0
    nDocPO: 0
    nDocSO: 0
    nDocLU: 0
    nDocTU: 0

    === LIST TH ===
    name: [Strumenti relativi all'informatica]
    ntSemantic: BT


    name: Programmi per elaboratori
    ntSemantic: RT