Vai al contenuto principale della pagina

Logique temporelle : Semantique et validation de programmes paralleles / Éric Audureau, Patrice Enjalbert, Luis Fariñas del Cerro ; preface de Erwin Engeler



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Audureau, Éric Visualizza persona
Titolo: Logique temporelle : Semantique et validation de programmes paralleles / Éric Audureau, Patrice Enjalbert, Luis Fariñas del Cerro ; preface de Erwin Engeler Visualizza cluster
Pubblicazione: Paris [etc.], : Masson, 1990
Descrizione fisica: VI, 232 p. ; 25 cm.
Soggetto topico: Logica temporale
Altri autori: Enjalbert, Patrice  
Fariñas Del Cerro, Luis  
Titolo autorizzato: Logique temporelle  Visualizza cluster
ISBN: 22-258-1967-X
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Francese
Record Nr.: VAN0105915
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Serie: Études et recherches en informatique Paris [etc.] . -Masson.