biblioest, Università degli Studi di Trieste e delle provincie del Friuli Venezia Giulia, Sebina, biblioteca, opac, catalogo biblioteca, Friuli, Regione Friuli, biblioteche del Friuli Venezia Giulia, Catalogo biblioteca, Prestito libri, prestito ebook, reteindaco

Ricerca avanzata e ultime novità

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