01308nam0 22003013i 450 SUN010591520160616115605.26622-258-1967-X0.0020160616d1990 |0frec50 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.001SUN01059162001 *Études et recherches en informatique210 Paris [etc.]Masson.Logica temporaleECSUNC032497ParisSUNL000046Audureau, ÉricSUNV08228754011Enjalbert, PatriceSUNV082288721364Fariñas Del Cerro, LuisSUNV082289721363Masson <Francia>SUNV005592650ITSOL20181109RICASUN0105915UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI ECONOMIA03 PREST VCh2 03 32532 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI ECONOMIAIT-CE010632532PREST VCh2paLogique temporelle1413450UNICAMPANIA