03518nam 22007095 450 99646542920331620200707020255.03-642-21768-010.1007/978-3-642-21768-5(CKB)2670000000095902(SSID)ssj0000530703(PQKBManifestationID)11351556(PQKBTitleCode)TC0000530703(PQKBWorkID)10569182(PQKB)11787809(DE-He213)978-3-642-21768-5(MiAaPQ)EBC3066901(PPN)153860219(EXLCZ)99267000000009590220110627d2011 u| 0engurnn|008mamaatxtccrTests and Proofs[electronic resource] 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings /edited by Martin Gogolla, Burkhart Wolff1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (X, 205 p. 48 illus., 20 illus. in color.) Programming and Software Engineering ;6706Bibliographic Level Mode of Issuance: Monograph3-642-21767-2 Includes bibliographical references and index.This book constitutes the refereed proceedings of the 5th International Conference on Test and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011. The 12 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 27 submissions. Among the topics covered are model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, automated test generation, learning based testing, UML, OCL, specification-based testing, and network testing.Programming and Software Engineering ;6706Software engineeringComputer programmingComputer logicMathematical logicProgramming languages (Electronic computers)Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Software engineering.Computer programming.Computer logic.Mathematical logic.Programming languages (Electronic computers).Software Engineering.Programming Techniques.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.Programming Languages, Compilers, Interpreters.005.1Gogolla Martinedthttp://id.loc.gov/vocabulary/relators/edtWolff Burkhartedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465429203316Tests and Proofs772200UNISA01347nam 2200397Ka 450 991069637890332120080103134527.0(CKB)5470000002377039(OCoLC)187086747(EXLCZ)99547000000237703920080103d2007 ua 0engtxtrdacontentcrdamediacrrdacarrierThe role of beneficiary-centered assignment for Medicare Part D[electronic resource] final report /Jack Hoadley ... [and others]Washington, DC :MedPAC,[2007]i unnumbered page, 28 pages digital, PDF file[MedPAC contract research series] ;07-4Title from title screens (viewed Jan. 3, 2008)."June 2007."Role of beneficiary-centered assignment for Medicare Part D MedicareMedicare beneficiariesDrugsCostsMedicare.Medicare beneficiaries.DrugsCosts.Hoadley Jack1388689Medicare Payment Advisory Commission (U.S.)GPOGPOBOOK9910696378903321The role of beneficiary-centered assignment for Medicare Part D3439573UNINA