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 02058nam  2200661   450 
001 9910464327103321
005 20200520144314.0
010   $a80-246-2354-4
035   $a(CKB)3710000000095661
035   $a(EBL)3319657
035   $a(SSID)ssj0001328963
035   $a(PQKBManifestationID)11726715
035   $a(PQKBTitleCode)TC0001328963
035   $a(PQKBWorkID)11292474
035   $a(PQKB)11633391
035   $a(MiAaPQ)EBC3319657
035   $a(Au-PeEL)EBL3319657
035   $a(CaPaEBR)ebr10852888
035   $a(OCoLC)929117493
035   $a(EXLCZ)993710000000095661
100   $a20140410h20122012  uy             0
101 0 $acze
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aNejspanilejs?i? ze vs?ech bohu? $eeseje /$fFrantisek Koukoli?k ; Petr Zvolsky?, Otakar A. Funda, recenzenti ; Lenka Sc?erbanic?ova?, redakce ; Jan Sery?ch, graficka? u?prava
205   $aVyda?ni? prvni?.
210  1$a[Prague, Czech Republic] :$cKarolinum,$d2012.
210  4$dİ2012
215   $a1 online resource (233 p.)
300   $aDescription based upon print version of record.
311   $a80-246-2042-1 
320   $aIncludes bibliographical references at the end of each chapters.
606   $aNeurosciences$xSocial aspects
606   $aNeuropsychology
606   $aFree will and determinism
606   $aLove
606   $aSpirituality
608   $aElectronic books.
615  0$aNeurosciences$xSocial aspects.
615  0$aNeuropsychology.
615  0$aFree will and determinism.
615  0$aLove.
615  0$aSpirituality.
676   $a362.19689
700   $aKoukoli?k$b Frantisek$0857955
702   $aZvolsky?$b Petr
702   $aFunda$b Otakar A.
702   $aSc?erbanic?ova?$b Lenka
702   $aSery?ch$b Jan
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910464327103321
996   $aNejspanilejs?i? ze vs?ech bohu?$91999714
997   $aUNINA

LEADER 00812nam0-22002891i-450 
001 990004117180403321
005 20230703174331.0
035   $a000411718
035   $aFED01000411718
035   $a(Aleph)000411718FED01
035   $a000411718
100   $a19990604d1971----km-y0itay50------ba
101 0 $aita
102   $aIT
105   $ay-------00-y-
200 1 $aDidattica e docimologia$emisurazione e valutazione nella scuola$fMario Gattullo
205   $a2a ed. riv.
210   $aRoma$cArmando$d1971
215   $a594 p.$d24 cm
700  1$aGattullo,$bMario$f<1933-1991>$0349428
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990004117180403321
952   $aFIL.TEOR.636$bIST.FIL.T.3314$fFLFBC
959   $aFLFBC
996   $aDidattica e docimologia$9476560
997   $aUNINA