Info

• Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

• Utilizzare questo link per rimuovere la selezione effettuata.

Export / Download (1)

• Esporta in PDF
• Esporta in Excel
• Esporta in HTML
• Esporta in MARC (binario)
• Esporta in MARC XML
• Esporta in MARC (testo)
• Invia tramite E-Mail

Biblioteca

• Univ. Vanvitelli (2)

Formato

• Materiale a stampa (2)

Livello bibliografico

• Monografie (2)

Autore (Persona)

• Dardha, Ornela (2)

Autore (Ente)

Autore (Convegno)

Opere

• Type systems for distributed programs: components and sessions (2)

Pubbl/distr/stampa

• Atlantis (2)

Lingua di pubblicazione

• Inglese (2)

Data

• Ultimi 10 anni (1)
• Ultimi 50 anni (2)

Data di pubblicazione

• 2016 (2)

Soggetto (Persona)

Soggetto (Ente)

Soggetto (Convegno)

Soggetto geografico

Soggetto topico

• 68-XX - Computer science [MSC 2020] (2)
• 68M14 - Distributed systems [MSC 2020] (2)
• 68N19 - Other programming techniques (object-oriented, sequential, concurrent, automatic, etc.) [MSC 2020] (2)
• 68Q60 - Specification and verification (program logics, model checking, etc.) [MSC 2020] (2)
• 68Q85 - Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020] (2)

Soggetto genere / forma