Dati dell'istituto/utente:(i dati contrassegnati con l'asterisco sono obbligatori)
Ci interessa la seguente vostra opera:
Codice documento: BP00017120
Natura:
[Monografia]
Autore:
Moreno , René
Titolo : <<A >>semantic framework for analysis and verification of concurrent constraint programming / Renè Moreno
Pubblicazione :
Pisa : Università, Dipartimento di Informatica ; Seu, 2000
Note:
Se gentilmente decidi di compilare i campi obbligatori, acconsenti al trattamento dei tuoi dati personali per fini di gestione del servizio secondo quanto stabilito dalla Legge 196/03. Le informazioni personali richieste non saranno in alcun caso rese pubbliche o comunque diffuse a terzi, ma saranno utilizzate solo per la risposta e a fini statistici.