LEADER 01098nam--2200349---450-
001 990000350760203316
035   $a0035076
035   $aUSA010035076
035   $a(ALEPH)000035076USA01
035   $a0035076
100   $a20010307d1982----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aVerifing concurrent processes using temporal logic$fBrent T. Hailpern
210   $aBerlin$cSpringer Verlag$d1982
215   $aVIII, 208 p.$cgraf.$d24 cm
225 2 $aLecture notes in computer science$v129
410   $12001$aLecture notes in computer science$v129
676   $a001.642
700  1$aHAILPERN,$bBrent T.$0537323
801  0$aIT$bsalbc$gISBD
912   $a990000350760203316
951   $a001 LNCS 129$b0002816 CBS$c001$d00101515
959   $aBK
969   $aSCI
979   $aTAMI$b40$c20010307$lUSA01$h1055
979   $aALANDI$b90$c20010319$lUSA01$h1142
979   $c20020403$lUSA01$h1643
979   $aPATRY$b90$c20040406$lUSA01$h1624
996   $aVerifing concurrent processes using temporal logic$9878442
997   $aUNISA

LEADER 00732nam a2200229 i 4500
001 991004363731107536
005 20250130110822.0
008 250130s1970    fr     er     001 0 fre d
040   $aBibl. Dip.le Aggr. Studi Umanistici - Sez. Filosofia$bita$cSocioculturale Scs
041 0 $afre
082 04$a149.96$223
100 1 $aMillet, Louis$0185931
245 13$aLe structuralisme /$cLuis Millet et Madeleine Varin D'Ainvelle
260   $aParis :$bEditions universitaires,$c1970
300   $a135 p. ;$c20 cm
490 1 $aPsychothèque ;$v5
650  4$aStrutturalismo
700 1 $aVarin D'Ainville, Madeleine
830  0$aPsychothèque ;$v5
912   $a991004363731107536
996   $aStructuralisme$94311022
997   $aUNISALENTO