LEADER 00916nam0-22003251i-450-
001 990005890340403321
005 20080619135816.0
010   $a2-600-00193-X
035   $a000589034
035   $aFED01000589034
035   $a(Aleph)000589034FED01
035   $a000589034
100   $a20000421d1997----km-y0itay50------ba
101 0 $afre
102   $aFR
105   $ay-------001yy
200 1 $a<<L'>>expression de la cause en ancien français$fAnnie Bertin
210   $d1997$cDroz$aGenève
215   $a207 p.$d22 cm
225 1 $aPublications romanes et françaises$v219
610 0 $aLingua francese antica
676   $a447.01
700  1$aBertin,$bAnnie$0224322
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990005890340403321
952   $a447.01 BER 1$bBibl.31781$fFLFBC
959   $aFLFBC
996   $aExpression de la cause en ancien français$9563068
997   $aUNINA

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