Formal Techniques for Distributed Objects, Components, and Systems
0 0 0
Materiale linguistico moderno

Formal Techniques for Distributed Objects, Components, and Systems

Titolo e contributi: Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016 : Proceedings / Elvira Albert, Ivan Lanese (Eds.)

Pubblicazione: Cham : Springer, 2016

Descrizione fisica: XVI, 274 p. ; 23 cm

Serie: Lecture notes in computer science ; 9688

ISBN: 978-3-319-39569-2

Data:2016

Lingua: Inglese (lingua del testo, colonna sonora, ecc.)

Paese: Svizzera

Nomi:

Soggetti:

Classi: 005.1 PROGRAMMAZIONE (22)

Dati generali (100)
  • Tipo di data: monografia edita in un solo anno
  • Data di pubblicazione: 2016

Sono presenti 1 copie, di cui 0 in prestito.

Biblioteca Collocazione Inventario Stato Prestabilità Rientra
IMT Lucca CDSS 005.1 FOR M-6432 Su scaffale Prestabile
Vedi tutti

Ultime recensioni inserite

Nessuna recensione

Condividi il titolo
Codice da incorporare

Copia e incolla sul tuo sito il codice HTML qui sotto.