LEADER 01308nam0 22003013i 450 
001 SUN0105915
005 20160616115605.266
010   $a22-258-1967-X$d0.00
100   $a20160616d1990       |0frec50      ba
101   $afre
102   $aFR
105   $a||||    |||||
200 1 $a*Logique 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$1001SUN0105916$12001 $a*Études et recherches en informatique$1210  $aParis [etc.]$cMasson.
606   $aLogica temporale$2EC$3SUNC032497
620   $dParis$3SUNL000046
700  1$aAudureau$b, Éric$3SUNV082287$054011
701  1$aEnjalbert$b, Patrice$3SUNV082288$0721364
701  1$aFariñas Del Cerro$b, Luis$3SUNV082289$0721363
712   $aMasson <Francia>$3SUNV005592$4650
801   $aIT$bSOL$c20181109$gRICA
912   $aSUN0105915
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI ECONOMIA$d03 PREST     VCh2                                $e03    32532                                 
995   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI ECONOMIA$bIT-CE0106$h32532$kPREST VCh2$op$qa
996   $aLogique temporelle$91413450
997   $aUNICAMPANIA