LEADER 03537nam 22006135 450 001 996465638203316 005 20240124120655.0 010 $a3-642-45210-8 024 7 $a10.1007/978-3-642-45210-9 035 $a(CKB)3710000000031316 035 $a(SSID)ssj0001067118 035 $a(PQKBManifestationID)11630060 035 $a(PQKBTitleCode)TC0001067118 035 $a(PQKBWorkID)11079815 035 $a(PQKB)10771699 035 $a(DE-He213)978-3-642-45210-9 035 $a(MiAaPQ)EBC3092988 035 $a(PPN)176117911 035 $a(EXLCZ)993710000000031316 100 $a20131119d2013 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAda 2012 rationale$b[electronic resource] $ethe language -- the standard libraries /$fby John Barnes 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (XI, 213 p. 3 illus.) 225 1 $aProgramming and Software Engineering ;$v8338 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-45209-4 327 $aIntroduction -- Contracts and Aspects -- Expressions -- Structure and Visibility -- Tasking and Real-Time -- Iterators, Pools, etc -- Overview of changes -- Predefined Library -- Containers -- Epilogue. 330 $aAda 2012 is the latest version of the international standard for the programming language Ada. It is designated ISO/IEC 8652:2012 (E) and is a new edition replacing the 2005 version. The primary goals for the new version were to further enhance its capabilities particularly in those areas where its reliability and predictability are of great value. Many important new features have been included such as those defining dynamic contracts and for handling multiprocessors and are integrated within the existing language framework in an elegant and coherent manner. The Ada 2012 Rationale describes not only the changes from Ada 2005 but also the reason for the changes. It starts with an introduction providing a general overview and this is followed by seven chapters focusing on contracts and aspects; extended expressions; structure and visibility; tasking and real time; iterators and pools; predefined library and containers. The book concludes with an epilogue largely concerned with compatibility issues. 410 0$aProgramming and Software Engineering ;$v8338 606 $aAda (Computer program language) 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 615 0$aAda (Computer program language) 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aOperating Systems. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 676 $a005.133 700 $aBarnes$b J. G. P$g(John Gilbert Presslie),$4aut$4http://id.loc.gov/vocabulary/relators/aut$01461763 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465638203316 996 $aAda 2012 rationale$93670533 997 $aUNISA LEADER 02256nas 2200685- 450 001 9910280902103321 005 20241221110107.0 011 $a2515-2947 035 $a(OCoLC)1046615458 035 $a(CKB)4100000003273668 035 $a(CONSER)--2021244563 035 $a(MiFhGG)65N9 035 $a(DE-599)ZDB2930480-5 035 $a(EXLCZ)994100000003273668 100 $a20180726a20189999 --- a 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aIET smart grid 210 1$aStevenage :$cInstitution of Engineering and Technology,$d2018- 210 31$a[Hoboken N.J.] :$cJohn Wiley & Sons [on behalf of The Institution of Engineering and Technology] 215 $a1 online resource 300 $aRefereed/Peer-reviewed 517 3 $aSmart grid 517 1 $aInstitution of Engineering and Technology smart grid 606 $aSmart power grids$vPeriodicals 606 $aComputer science$vPeriodicals 606 $aEnergy industries$vPeriodicals 606 $aBroadcasting$vPeriodicals 606 $aSmart power grids$2fast$3(OCoLC)fst01792824 606 $aBroadcasting$2fast$3(OCoLC)fst00839187 606 $aComputer science$2fast$3(OCoLC)fst00872451 606 $aEnergy industries$2fast$3(OCoLC)fst00910110 606 $aDistribució d'energia elèctrica$2thub 606 $aInnovacions tecnològiques$2thub 606 $aEnginyeria elèctrica$2thub 608 $aPeriodicals.$2fast 608 $aZeitschrift.$2gnd-content 608 $aPeriodicals.$2lcgft 608 $aRevistes electròniques$2thub 615 0$aSmart power grids 615 0$aComputer science 615 0$aEnergy industries 615 0$aBroadcasting 615 7$aSmart power grids. 615 7$aBroadcasting. 615 7$aComputer science. 615 7$aEnergy industries. 615 7$aDistribució d'energia elèctrica. 615 7$aInnovacions tecnològiques 615 7$aEnginyeria elèctrica 676 $a333.79110285 676 $a621 712 02$aInstitution of Engineering and Technology, 906 $aJOURNAL 912 $a9910280902103321 996 $aIET smart grid$92122369 997 $aUNINA