LEADER 01500nam 2200457I 450 001 9910705738003321 005 20170628074020.0 035 $a(CKB)5470000002453028 035 $a(OCoLC)992118912 035 $a(EXLCZ)995470000002453028 100 $a20170628j201702 ua 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal methods tool qualification /$fLucas G. Wagner [and four others] 210 1$aHampton, Virginia :$cNational Aeronautics and Space Administration, Langley Research Center,$dFebruary 2017. 215 $a1 online resource (40 pages) $ccolor illustrations 225 1 $aNASA/CR ;$v2017-219371 300 $a"February 2017." 300 $a"Performing organization: NASA Langley Research Center"--Report documentation page." 320 $aIncludes bibliographical references (pages 38-40). 606 $aAvionics$2nasat 606 $aDigital systems$2nasat 606 $aCertification$2nasat 606 $aIdentifying$2nasat 606 $aQualifications$2nasat 615 7$aAvionics. 615 7$aDigital systems. 615 7$aCertification. 615 7$aIdentifying. 615 7$aQualifications. 700 $aWagner$b Lucas G.$01403064 712 02$aLangley Research Center, 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910705738003321 996 $aFormal methods tool qualification$93474840 997 $aUNINA LEADER 03449oas 2201249 a 450 001 9910216956303321 005 20251104213014.0 011 $a1536-075X 035 $a(DE-599)ZDB2117163-4 035 $a(OCoLC)39743518 035 $a(CONSER) 2001213413 035 $a(CKB)110978966556714 035 $a(EXLCZ)99110978966556714 100 $a19980825b19742021 uy a 101 0 $aeng 135 $aurmnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aNew directions for institutional research 210 $a[San Francisco, CA] $c[Jossey-Bass Publishers] $cJohn Wiley & Sons$d-2022 210 31$aHoboken, NJ :$cWiley Subscription Services, Inc., a Wiley Company 215 $a1 online resource (volumes) 225 1 $a<2005->: Jossey-Bass higher and adult education series 300 $aRefereed/Peer-reviewed 300 $aPublished: [San Francisco, CA] : Wiley Periodicals, Inc., <2005-> 311 08$a0271-0579 410 0$aJossey-Bass higher and adult education series. 517 1 $aNDIR 606 $aEducation, Higher$zUnited States$vPeriodicals 606 $aEducation, Higher$zUnited States$xEvaluation$vPeriodicals 606 $aEducational planning$zUnited States$vPeriodicals 606 $aEnseignement supe?rieur 606 $aE?valuation 606 $aPlanification 606 $aresearch (function)$2aat 606 $aHigher Education$2ebps 606 $aEducation, Higher$2fast$3(OCoLC)fst00903005 606 $aEducation, Higher$xEvaluation$2fast$3(OCoLC)fst00903055 606 $aEducational planning$2fast$3(OCoLC)fst00903540 607 $aE?tats-Unis 607 $aUnited States$2fast$1https://id.oclc.org/worldcat/entity/E39PBJtxgQXMWqmjMjjwXRHgrq 608 $aPeriodicals.$2fast 608 $aPeriodicals.$2lcgft 615 0$aEducation, Higher 615 0$aEducation, Higher$xEvaluation 615 0$aEducational planning 615 6$aEnseignement supe?rieur. 615 6$aE?valuation. 615 6$aPlanification. 615 7$aresearch (function) 615 7$aHigher Education. 615 7$aEducation, Higher. 615 7$aEducation, Higher$xEvaluation. 615 7$aEducational planning. 676 $a378 676 $a378.973 712 02$aAssociation for Institutional Research, 712 02$aJohn Wiley & Sons, 801 0$bF#A 801 1$bF#A 801 2$bOCL 801 2$bNSD 801 2$bOCLCQ 801 2$bIUL 801 2$bRUQBL 801 2$bDLC 801 2$bUKMGB 801 2$bOCLCQ 801 2$bOCLCO 801 2$bOCLCQ 801 2$bOCLCF 801 2$bOCLCO 801 2$bVT2 801 2$bUMC 801 2$bOCLCQ 801 2$bUMC 801 2$bOCLCA 801 2$bWT2 801 2$bNLE 801 2$bOCLCQ 801 2$bELW 801 2$bEZC 801 2$bWRM 801 2$bOCLCQ 801 2$bOCLCO 801 2$bAU@ 801 2$bOCLCA 801 2$bOCLCQ 801 2$bU3W 801 2$bOCLCO 801 2$bTKN 801 2$bOCLCO 801 2$bNJT 801 2$bOCLCQ 801 2$bOCLCO 801 2$bUEJ 801 2$bSRU 801 2$bGUA 801 2$bOCLCQ 801 2$bCUS 801 2$bOCLCL 801 2$bUMC 906 $aJOURNAL 912 $a9910216956303321 996 $aNew directions for institutional research$92151285 997 $aUNINA