LEADER 01345nam 2200409I 450 001 9910711319703321 005 20180913095203.0 035 $a(CKB)5470000002482837 035 $a(OCoLC)1052464216 035 $a(EXLCZ)995470000002482837 100 $a20180913j201806 ua 0 101 0 $aeng 135 $aurmn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 14$aThe simple assurance argument interchange format (SAAIF) manual /$fPatrick J. Graydon 210 1$aHampton, Virginia :$cNational Aeronautics and Space Administration, Langley Research Center,$dJune 2018. 215 $a1 online resource (38 pages) $cillustrations (some color) 225 1 $aNASA/TM ;$v2018-219837 300 $a"June 2018." 320 $aIncludes bibliographical references (pages 21-23). 517 $aSimple assurance argument interchange format 606 $aFormat$2nasat 606 $aSemantics$2nasat 606 $aSyntax$2nasat 615 7$aFormat. 615 7$aSemantics. 615 7$aSyntax. 700 $aGraydon$b Patrick J.$01399256 712 02$aLangley Research Center, 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910711319703321 996 $aThe simple assurance argument interchange format (SAAIF) manual$93534181 997 $aUNINA LEADER 01976nas 2200445-a 450 001 996209163303316 005 20240413030459.0 035 $a(CKB)991042748378330 035 $a(CONSER)sn-90001941- 035 $a(EXLCZ)99991042748378330 100 $a19881111a19879999 --- a 101 0 $aeng 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 02$aA Quarterly bulletin of the Computer Society of the IEEE Technical Committee on Data Engineering 210 $a[Washington, D.C.?] $cThe Committee$d[1987- 215 $a1 online resource 300 $aTitle from cover. 300 $aIssue for Mar. 1988 has title: A Quarterly bulletin of the Computer Society Technical Committee on Database Engineering; June 1988- have title: A Quarterly bulletin of the Computer Society Technical Committee on Data Engineering. 311 $aPrint version: A quarterly bulletin of the computer society of the IEEE technical committee on data engineering. (DLC)sn 90001941 (OCoLC)18755705 1053-1238 517 1 $aData engineering 517 1 $aDatabase engineering 517 1 $aDatabase engineering bulletin 517 1 $aDE 517 3 $aQuarterly bulletin of the Computer Society Technical Committee on Database Engineering 517 3 $aQuarterly bulletin of the Computer Society Technical Committee on Data Engineering 531 0 $aQ. bull. Comput. Soc. IEEE Tech. Comm. Data Eng. 606 $aDatabase management$vPeriodicals 606 $aDatabase management$2fast$3(OCoLC)fst00888037 608 $aPeriodicals.$2fast 615 0$aDatabase management 615 7$aDatabase management. 676 $a005 712 02$aIEEE Computer Society.$bTechnical Committee on Data Engineering. 906 $aJOURNAL 912 $a996209163303316 920 $aexl_impl conversion 996 $aA Quarterly bulletin of the Computer Society of the IEEE Technical Committee on Data Engineering$92574516 997 $aUNISA