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 LEADER 03767nam 2200601 450 001 9910794611903321 005 20230703173822.0 010 $a1-000-97727-7 010 $a1-000-97207-0 010 $a1-003-44455-5 010 $a1-57922-789-9 035 $a(CKB)4330000000002235 035 $a(SSID)ssj0001666903 035 $a(PQKBManifestationID)16456356 035 $a(PQKBTitleCode)TC0001666903 035 $a(PQKBWorkID)14821233 035 $a(PQKB)11363119 035 $a(Au-PeEL)EBL4410185 035 $a(CaPaEBR)ebr11169740 035 $a(OCoLC)945609602 035 $a(MiAaPQ)EBC4410185 035 $a(EXLCZ)994330000000002235 100 $a20151014h20162016 uy| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt 182 $cc 183 $acr 200 00$aEnsuring the success of Latino males in higher education $ea national imperative /$fedited by Victor B. Sa?enz, Luis Ponjua?n, and Julie Lo?pez Figueroa ; foreword by William Serrata 205 $aFirst edition. 210 1$aSterling, Virginia :$cStylus Publishing, LLC,$d[2016] 210 4$dİ2016 215 $a1 online resource (274 pages) $cillustrations 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a1-57922-787-2 320 $aIncludes bibliographical references and index. 327 $aCurrent Trends and Future Outlooks on the Growing Gender Gap in Educational Attainment for Latino Males / Victor B. Sa?enz, Luis Ponjuan, and Julie Figueroa -- Latino Males in American High Schools : An Examination of the 2012 High School Longitudinal Study / Luis Ponjuan -- The Geography of Academic Support : A Framework to Understand Latino Male Perceptions and Practices in Higher Education / Julie L. Figueroa -- (Re)Constructing Masculinity : Understanding Gender Expectations Among Latino Male College-Going Students / Julie Figueroa, Patricia Perez, and Irene Vega -- An Intersectionality Analysis of Latino Men in Higher Education and Their Help-Seeking Behaviors / Nolan L. Cabrera, Fatemma D. Rashwan-Soto, and Bryant G. Valencia -- Latino Male High School Math Achievement : The Influential Role of Psychosociocultural Factors / Ismael Fajardo, Jose? M Hernandez, and Jose? Mun?oz -- Examining the Role of Family on Mexican American College Men's Academic Persistence / Lizette Ojeda and Linda G. Castillo -- Over the Ivy Wall : Latino Male Achievers Nurturing Cultural Wealth at Highly Selective, Predominantly White Research University / David Pe?rez II -- Caballeros Making Capital Gains in College : The role of social capital in First-Year Persistence at a Predominantly White Four-Year Institution / Tracy L. Ballysingh -- Latino Males in Higher Education : Administrator Awareness of the Emerging Challenges / Victor Sa?enz, Sarah Rodriguez, Katie Pritchett, Jennifer Estrada, and Kelty Garbee -- Educational Opportunity, College Choices, and Higher Education : What Can We Learn From Research on Latinas? / Miguel Ceja -- Collaborative Consciousness : Improving Latino Male Student Research, Policy, and Practice / Luis Ponjuan. 606 $aHispanic American men$xEducation (Higher) 606 $aHispanic American men$xEducation (Higher)$xSocial aspects 615 0$aHispanic American men$xEducation (Higher) 615 0$aHispanic American men$xEducation (Higher)$xSocial aspects. 676 $a378.1/982968073 702 $aSaenz$b Victor B. 702 $aPonjuan$b Luis 702 $aLo?pez Figueroa$b Julie$f1969- 702 $aSerrata$b William 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910794611903321 996 $aEnsuring the success of Latino males in higher education$93852277 997 $aUNINA