top

  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.
Logique temporelle : Semantique et validation de programmes paralleles / Éric Audureau, Patrice Enjalbert, Luis Fariñas del Cerro ; preface de Erwin Engeler
Logique temporelle : Semantique et validation de programmes paralleles / Éric Audureau, Patrice Enjalbert, Luis Fariñas del Cerro ; preface de Erwin Engeler
Autore Audureau, Éric
Pubbl/distr/stampa Paris [etc.] : Masson, 1990
Descrizione fisica VI, 232 p. ; 25 cm.
Altri autori (Persone) Enjalbert, Patrice
Fariñas Del Cerro, Luis
Soggetto topico Logica temporale
ISBN 22-258-1967-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Record Nr. UNICAMPANIA-SUN0105915
Audureau, Éric  
Paris [etc.] : Masson, 1990
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logique temporelle : Semantique et validation de programmes paralleles / Éric Audureau, Patrice Enjalbert, Luis Fariñas del Cerro ; preface de Erwin Engeler
Logique temporelle : Semantique et validation de programmes paralleles / Éric Audureau, Patrice Enjalbert, Luis Fariñas del Cerro ; preface de Erwin Engeler
Autore Audureau, Éric
Pubbl/distr/stampa Paris [etc.], : Masson, 1990
Descrizione fisica VI, 232 p. ; 25 cm.
Altri autori (Persone) Enjalbert, Patrice
Fariñas Del Cerro, Luis
Soggetto topico Logica temporale
ISBN 22-258-1967-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Record Nr. UNICAMPANIA-VAN0105915
Audureau, Éric  
Paris [etc.], : Masson, 1990
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logique temporelle : Semantique et validation de programmes paralleles / Éric Audureau, Patrice Enjalbert, Luis Fariñas del Cerro ; preface de Erwin Engeler
Logique temporelle : Semantique et validation de programmes paralleles / Éric Audureau, Patrice Enjalbert, Luis Fariñas del Cerro ; preface de Erwin Engeler
Autore Audureau, Éric
Pubbl/distr/stampa Paris [etc.], : Masson, 1990
Descrizione fisica VI, 232 p. ; 25 cm.
Altri autori (Persone) Enjalbert, Patrice
Fariñas Del Cerro, Luis
Soggetto topico Logica temporale
ISBN 22-258-1967-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Record Nr. UNICAMPANIA-VAN00105915
Audureau, Éric  
Paris [etc.], : Masson, 1990
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui