01252nam0 22003013i 450 VAN010591520160616115605.26622-258-1967-X20160616d1990 |0itac50 bafreFR|||| |||||Logique temporelleSemantique et validation de programmes parallelesÉric Audureau, Patrice Enjalbert, Luis Fariñas del Cerropreface de Erwin EngelerParis [etc.]Masson1990VI, 232 p.25 cm.001VAN01059162001 Études et recherches en informatique210 Paris [etc.]Masson.Logica temporaleVANC032497ECParisVANL000046AudureauÉricVANV08228754011EnjalbertPatriceVANV082288721364Fariñas Del CerroLuisVANV082289721363Masson <editore>VANV111574650ITSOL20230915RICABIBLIOTECA DEL DIPARTIMENTO DI ECONOMIAIT-CE0106VAN03VAN0105915BIBLIOTECA DEL DIPARTIMENTO DI ECONOMIA03PREST VCh2 03 32532 20160616 Logique temporelle1413450UNICAMPANIA