LEADER 00717nam0-22002651i-450- 001 990000993980403321 035 $a000099398 035 $aFED01000099398 035 $a(Aleph)000099398FED01 035 $a000099398 100 $a20000920d1967----km-y0itay50------ba 101 0 $aeng 200 1 $aEvidence and Meaning$fR.J. Fogelin 210 $aLondon$cRoutledge & Kegan Paul$d1967 610 0 $aFondamenti delle scienze fisiche e naturali 676 $a501 700 1$aFogelin,$bRobert J.$0547094 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000993980403321 952 $a4-060$b6009$fFI1 959 $aFI1 996 $aEvidence and Meaning$92966339 997 $aUNINA DB $aING01 LEADER 00848nam0-22002891i-450 001 990005380990403321 005 20230214105532.0 035 $a000538099 035 $aFED01000538099 035 $a(Aleph)000538099FED01 035 $a000538099 100 $a19990530d1968----km-y0itay50------ba 101 0 $aita 105 $af-------00--- 200 1 $aNIN$eProblemi Arheoloskih Istrazivaja. Problems of archeological excavations, [Mate Suic, Sime Batovic$fJanko Belosevic] 210 $aZadar$cArheoloski Muzej Uzadar$d1968 215 $a67 p., 44 tav.$d28 cm 702 1$aBatovic,$bSime 702 1$aBelosevic,$bJanko 702 1$aSuic,$bMate 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990005380990403321 952 $aARCH. H 086 4$bARCH. 16441$fFLFBC 959 $aFLFBC 996 $aNIN$9592747 997 $aUNINA LEADER 01528nam 2200445I 450 001 9910702453003321 005 20130820125644.0 035 $a(CKB)5470000002427638 035 $a(OCoLC)825823139 035 $a(EXLCZ)995470000002427638 100 $a20130129d2012 ua 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aModel-driven test generation of distributed systems /$fArvind Easwaran, Brendan Hall, and Kevin Schweiker 210 1$aHampton, Va. :$cNational Aeronautics and Space Administration, Langley Research Center,$d[2012] 215 $a1 online resource (30 pages) $ccolor illustrations 225 1 $a[NASA contractor report] ;$vNASA/CR 2012-217764 300 $aTitle from title screen (viewed Jan. 29, 2013). 300 $a"September 2012." 320 $aIncludes bibliographical references (pages 29). 606 $aClocks$2nasat 606 $aFault tolerance$2nasat 606 $aSynchronism$2nasat 615 7$aClocks. 615 7$aFault tolerance. 615 7$aSynchronism. 700 $aEaswaran$b Arvind$01419674 702 $aHall$b Brendan 702 $aSchweiker$b Kevin 712 02$aLangley Research Center, 712 02$aUnited States.$bNational Aeronautics and Space Administration, 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910702453003321 996 $aModel-driven test generation of distributed systems$93534982 997 $aUNINA