LEADER 01973oam 2200505 450 001 9910712951703321 005 20200306113427.0 035 $a(CKB)5470000002498676 035 $a(OCoLC)971500469 035 $a(OCoLC)995470000002498676 035 $a(EXLCZ)995470000002498676 100 $a20170206d1983 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 12$aA data-management system for areal interpretive data for the High Plains in parts of Colorado, Kansas, Nebraska, New Mexico, Oklahoma, South Dakota, Texas, and Wyoming /$fby Richard R. Luckey and Carmelo F. Ferrigno 210 1$aDenver, Colorado :$cUnited States Department of the Interior, Geological Survey,$d1983. 215 $a1 online resource (vii, 112 pages) $cillustrations, map 225 1 $aWater-resources investigations report ;$v82-4072 300 $a"December 1982." 320 $aIncludes bibliographical references (pages 25-26). 606 $aWater-supply$zHigh Plains (U.S.) 606 $aInformation storage and retrieval systems$xWater-supply$2fast 606 $aWater-supply$2fast 607 $aHigh Plains (U.S.)$xDatabases 607 $aHigh Plains (U.S.)$xElectronic information resources 607 $aWest United States$2fast 615 0$aWater-supply 615 7$aInformation storage and retrieval systems$xWater-supply. 615 7$aWater-supply. 700 $aLuckey$b Richard R.$01391727 702 $aFerrigno$b Carmelo F. 712 02$aGeological Survey (U.S.), 801 0$bCOP 801 1$bCOP 801 2$bOCLCO 801 2$bOCLCF 801 2$bOCL 801 2$bGPO 906 $aBOOK 912 $a9910712951703321 996 $aA data-management system for areal interpretive data for the High Plains in parts of Colorado, Kansas, Nebraska, New Mexico, Oklahoma, South Dakota, Texas, and Wyoming$93462209 997 $aUNINA LEADER 04527nam 22007695 450 001 9910484063103321 005 20251226195630.0 010 $a1-283-47734-3 010 $a9786613477347 010 $a3-642-17071-4 024 7 $a10.1007/978-3-642-17071-3 035 $a(CKB)2670000000056670 035 $a(SSID)ssj0000446472 035 $a(PQKBManifestationID)11312816 035 $a(PQKBTitleCode)TC0000446472 035 $a(PQKBWorkID)10496391 035 $a(PQKB)11771422 035 $a(DE-He213)978-3-642-17071-3 035 $a(MiAaPQ)EBC3066088 035 $a(PPN)149890281 035 $a(EXLCZ)992670000000056670 100 $a20101111d2010 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Methods for Components and Objects $e8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /$fedited by Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (X, 339 p. 111 illus., 55 illus. in color.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v6286 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-17070-6 320 $aIncludes bibliographical references and index. 330 $aAll modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires a greater emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. This state-of-the-art survey presents the outcome of the 8th Symposium on Formal Methods for Components and Objects, held in Eindhoven, The Netherlands, in November 2009. The volume contains 17 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the IST-FP6 project BIONETS on biologically inspired services evolution for the pervasive age; the IST-FP7 project COMPAS on compliance-driven models, languages, and architectures for services; the IST-FP6 project CREDO on modelling and analysis of evolutionary structures for distributed services; the IST-FP7 DEPLOY on industrial deployment of advanced system engineering methods for high productivity and dependability; the IST-FP7 project HATS on highly adaptable and trustworthy software using formal methods; the IST-FP7 project INESS on integrated European railway signalling system; the IST-FP7 project MOGENTES on model-based generation of tests for dependable embedded systems; the IST-FP6 project PROTEST on property based testing; and the IST-FP7 project QUASIMODO on quantitative system properties in model-driven-design of embedded systems. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v6286 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aOperating systems (Computers) 606 $aComputer science 606 $aComputer programming 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aOperating Systems 606 $aComputer Science Logic and Foundations of Programming 606 $aProgramming Techniques 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs) 615 0$aOperating systems (Computers) 615 0$aComputer science. 615 0$aComputer programming. 615 14$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aOperating Systems. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aProgramming Techniques. 676 $a004.01/51 701 $aBoer$b Frank S. de$0127081 712 12$aFMCO 2009 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484063103321 996 $aFormal methods for components and objects$94191857 997 $aUNINA