LEADER 01207nam0-22003731i-450- 001 990000765600403321 005 20001010 035 $a000076560 035 $aFED01000076560 035 $a(Aleph)000076560FED01 035 $a000076560 100 $a20001010d--------km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $a<>strade di Torino negli schizzi di Guido Giordano$fPrefazione di Marco Piacentino$gcon schede biografiche diarchitetti sec. XVII-XX$ga cura di Maria Ognibene Giordano 210 $aPavone Canavese-Ivrea$cPriuli e Verl ucca$dcopyr. 1987. 215 $a112 p. 25x32 cm 225 1 $aGrandi libri 300 $aTesto in italiano e inglese. Altro front. in inglese. 610 0 $aPalazzi 610 0 $aStrade 610 0 $aDisegno architettonico 676 $a721 700 1$aGiordano,$bGuido$037985 702 1$aGiordano,$bGuido 702 1$aOgnibene Giordano,$bMaria 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000765600403321 952 $aMON B 500$b564$fFARBC 959 $aFARBC 996 $aStrade di Torino negli schizzi di Guido Giordano$9350325 997 $aUNINA DB $aING01 LEADER 02123oam 2200577 450 001 9910707240003321 005 20160621152110.0 035 $a(CKB)5470000002463109 035 $a(OCoLC)951986184 035 $a(EXLCZ)995470000002463109 100 $a20160621j199605 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 13$aAn introduction to requirements capture using PVS $especification of a simple autopilot /$fRicky W. Butler 210 1$aHampton, Virginia :$cNational Aeronautics and Space Administration, Langley Research Center,$dMay 1996. 215 $a1 online resource (iii, 29 pages)$cillustrations 225 1 $aNASA technical memorandum ;$v110255 300 $aTitle from title screen (viewed June 20, 2016). 300 $a"May 1996." 300 $a"Performing organization: NASA Langley Research Center, Hampton, VA"--Report documentation page. 320 $aIncludes bibliographical references (pages 24-25). 517 $aIntroduction to requirements capture using PVS 606 $aComputer programming$2nasat 606 $aComputer programs$2nasat 606 $aUser requirements$2nasat 606 $aSoftware development tools$2nasat 606 $aProgram verification (computers)$2nasat 606 $aSoftware reliability$2nasat 606 $aEquations of state$2nasat 606 $aSpecifications$2nasat 615 7$aComputer programming. 615 7$aComputer programs. 615 7$aUser requirements. 615 7$aSoftware development tools. 615 7$aProgram verification (computers) 615 7$aSoftware reliability. 615 7$aEquations of state. 615 7$aSpecifications. 700 $aButler$b Ricky W.$01398460 712 02$aLangley Research Center, 712 02$aUnited States.$bNational Aeronautics and Space Administration, 801 0$bGPO 801 1$bGPO 801 2$bGPO 906 $aBOOK 912 $a9910707240003321 996 $aAn introduction to requirements capture using PVS$93461774 997 $aUNINA LEADER 03287nam 22006013u 450 001 9910786915203321 005 20230828235638.0 010 $a1-4411-1849-7 035 $a(CKB)3710000000109390 035 $a(EBL)1749728 035 $a(SSID)ssj0000522335 035 $a(PQKBManifestationID)12165895 035 $a(PQKBTitleCode)TC0000522335 035 $a(PQKBWorkID)10527444 035 $a(PQKB)11410124 035 $a(MiAaPQ)EBC1749728 035 $a(EXLCZ)993710000000109390 100 $a20141020d2006|||| u|| | 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aEnglish in the World$b[electronic resource] $eGlobal Rules, Global Roles 210 $aLondon $cBloomsbury Publishing$d2006 215 $a1 online resource (225 p.) 300 $aDescription based upon print version of record. 311 $a0-8264-8905-2 327 $aContents; About the Contributors; Introduction; Part I: Conceptualizing EIL; An Interview with Tom McArthur; Global Intelligibility and Local Diversity: Possibility or Paradox?; English as a Lingua Franca in the Expanding Circle: What it Isn''t; Defining the ''Successful Bilingual Speaker'' of English; Which Model of English: Native-speaker, Nativized or Lingua Franca?; World Englishes or English as a Lingua Franca? A View from the Perspective of Non-Anglo Englishes; Standard English in the World; Part II: Pedagogical Implications of EIL; EIL Curriculum Development 327 $aA Multi-dimensional Approach to Teaching English for the WorldTeaching EIL - Teaching International or Intercultural English? What Teachers Should Know; Standard Englishes, Pedagogical Paradigms and their Conditions of (Im)possibility; English in the World does not mean English Everywhere: The Case for Multilingualism in the ELT/ESL Profession; An Interview with Suresh Canagarajah; Name Index; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R; S; T; V; W; Y; Subject Index; A; B; C; D; E; F; G; H; I; J; L; M; N; P; R; T; U; W 330 $aEnglish today is a truly global language which plays an important role in international communication, trade, diplomacy, sport, science, technology and culture. One of the consequences of the global predominance of English is that non-native speakers of E 606 $aEnglish language -- Foreign countries 606 $aEnglish language -- Standardization 606 $aEnglish language -- Study and teaching -- Foreign speakers 606 $aEnglish language$xForeign speakers$xStudy and teaching$zForeign countries 606 $aEnglish language$xStandardization 606 $aEnglish language 615 4$aEnglish language -- Foreign countries. 615 4$aEnglish language -- Standardization. 615 4$aEnglish language -- Study and teaching -- Foreign speakers. 615 0$aEnglish language$xForeign speakers$xStudy and teaching 615 0$aEnglish language$xStandardization 615 0$aEnglish language 676 $a420 700 $aRubdy$b Rani$01539299 701 $aSaraceni$b Mario$01539300 801 0$bAU-PeEL 801 1$bAU-PeEL 801 2$bAU-PeEL 906 $aBOOK 912 $a9910786915203321 996 $aEnglish in the World$93790135 997 $aUNINA