LEADER 01409nam--2200409---450-
001 990001223260203316
005 20050929140802.0
035   $a000122326
035   $aUSA01000122326
035   $a(ALEPH)000122326USA01
035   $a000122326
100   $a20031027d1985----km-y0itay0103----ba
101 0 $aeng
102   $aUS
105   $aa|||||||001yy
200 1 $a<<The>> Byzantine monuments and topography of the Pontos$f[by] Anthony Bryer and David Winfield$gwith maps and planes by Richard Anderson and drawings by June Winfield
210   $aWashington, D. C.$cDumbarton Oaks research library and collection$dcopyr. 1985
215   $a2 v., tav.$cill.$d28 cm
225 2 $aDumbarton Oaks studies$v20
410  0$12001$aDumbarton Oaks studies$v20
454  1$12001
461  1$1001-------$12001
676   $a939.33
700  1$aBRYER,$bAnthony$0162024
701  1$aWINFIELD,$bDavid$0443968
702  1$aANDERSON,$bRichard
801  0$aIT$bsalbc$gISBD
912   $a990001223260203316
951   $aV.2.B. 20/1(XI B Coll 55/20, 1)$b14130 L.M.$cXI
951   $aV.2.B. 20/2(XI B coll 55/20, 2)$b14131 L.M.$cXI
959   $aBK
969   $aUMA
979   $aSIAV6$b10$c20031027$lUSA01$h1543
979   $aPATRY$b90$c20040406$lUSA01$h1727
979   $aCOPAT5$b90$c20050929$lUSA01$h1408
996   $aByzantine monuments and topography of the Pontos$987556
997   $aUNISA

LEADER 01736nam  2200493Ia 450 
001 9910701132303321
005 20111221104342.0
035   $a(CKB)5470000002415726
035   $a(OCoLC)768998146
035   $a(EXLCZ)995470000002415726
100   $a20111221d2011      ua             0
101 0 $aeng
135   $aurbn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAutomated verification of specifications with typestates and access permissions$b[electronic resource] /$fRadu I. Siminiceanu, Ne?stor Catan?o
210  1$aHampton, Va. :$cNational Aeronautics and Space Administration, Langley Research Center,$d[2011]
215   $a1 online resource (31 pages)
225 1 $aNASA/CR ;$v2011-217170
300   $aTitle from title screen (viewed on Dec. 21, 2011).
300   $a"August 2011."
320   $aIncludes bibliographical references. (pages 19-20)
606   $aProgram verification (computers)$2nasat
606   $aSpecifications$2nasat
606   $aApproach control$2nasat
606   $aData flow analysis$2nasat
606   $aAlgorithms$2nasat
606   $aParallel programming$2nasat
615  7$aProgram verification (computers)
615  7$aSpecifications.
615  7$aApproach control.
615  7$aData flow analysis.
615  7$aAlgorithms.
615  7$aParallel programming.
700   $aSiminiceanu$b Radu I$01405428
701   $aCatan?o$b Ne?stor$01418899
712 02$aLangley Research Center.
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910701132303321
996   $aAutomated verification of specifications with typestates and access permissions$93531642
997   $aUNINA