LEADER 01252nam0 22003013i 450 
001 VAN0105915
005 20160616115605.266
010   $a22-258-1967-X
100   $a20160616d1990       |0itac50      ba
101   $afre
102   $aFR
105   $a||||    |||||
200 1 $aLogique temporelle$eSemantique et validation de programmes paralleles$fÉric Audureau, Patrice Enjalbert, Luis Fariñas del Cerro$gpreface de Erwin Engeler
210   $aParis [etc.]$cMasson$d1990
215   $aVI, 232 p.$d25 cm.
410  1$1001VAN0105916$12001 $aÉtudes et recherches en informatique$1210  $aParis [etc.]$cMasson.
606   $aLogica temporale$3VANC032497$2EC
620   $dParis$3VANL000046
700  1$aAudureau$bÉric$3VANV082287$054011
701  1$aEnjalbert$bPatrice$3VANV082288$0721364
701  1$aFariñas Del Cerro$bLuis$3VANV082289$0721363
712   $aMasson <editore>$3VANV111574$4650
801   $aIT$bSOL$c20230915$gRICA
899   $aBIBLIOTECA DEL DIPARTIMENTO DI ECONOMIA$1IT-CE0106$2VAN03
912   $aVAN0105915
950   $aBIBLIOTECA DEL DIPARTIMENTO DI ECONOMIA$d03PREST     VCh2                                $e03   32532             20160616            
996   $aLogique temporelle$91413450
997   $aUNICAMPANIA