LEADER 01444nam 2200397 a 450 001 9910701873903321 005 20120524151230.0 035 $a(CKB)5470000002421367 035 $a(OCoLC)794239474 035 $a(OCoLC)995470000002421367 035 $a(EXLCZ)995470000002421367 100 $a20120524d2012 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aInvestment guaranties$b[electronic resource] $eagreement between the United States of America and Kosovo, signed at Washington, June 30, 2009 210 1$a[Washington, D.C.] :$cU.S. Dept. of State,$d[2012?] 215 $a1 online resource (14 unnumbered pages) 225 1 $aTreaties and other international acts series ;$v09-1005 300 $aTitle from title screen (viewed on May 24, 2012). 517 $aInvestment guaranties 606 $aInvestment guaranty insurance$zUnited States 606 $aInvestments$xLaw and legislation$zUnited States 606 $aInvestments$xLaw and legislation$zKosovo (Republic) 615 0$aInvestment guaranty insurance 615 0$aInvestments$xLaw and legislation 615 0$aInvestments$xLaw and legislation 712 02$aUnited States.$bDepartment of State. 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910701873903321 996 $aInvestment guaranties$93434626 997 $aUNINA LEADER 03990nam 22007815 450 001 9910483842503321 005 20251226193524.0 010 $a3-319-29473-3 024 7 $a10.1007/978-3-319-29473-5 035 $a(CKB)4340000000001285 035 $a(SSID)ssj0001658334 035 $a(PQKBManifestationID)16442647 035 $a(PQKBTitleCode)TC0001658334 035 $a(PQKBWorkID)14985176 035 $a(PQKB)10219720 035 $a(DE-He213)978-3-319-29473-5 035 $a(MiAaPQ)EBC6307038 035 $a(MiAaPQ)EBC5586466 035 $a(Au-PeEL)EBL5586466 035 $a(OCoLC)1066186335 035 $a(PPN)192771531 035 $a(EXLCZ)994340000000001285 100 $a20160330d2016 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Methods: Foundations and Applications $e18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings /$fedited by Márcio Cornélio, Bill Roscoe 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XVIII, 195 p. 62 illus. in color.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v9526 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-319-29472-5 327 $aModel Checking -- Hard-wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware -- Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking -- Languages and Semantics -- Mobile CSP -- Evaluating the Assignment of Behavioral Goals to Coalitions of Agents -- Towards Reasoning in Dynamic Logics with Rewriting Logic: the Petri-PDL Case -- Refinement and Verification -- Refinement strategies for Safety-Critical Java -- Verifying Transformations of Java programs using Alloy.-A Mechanized Textbook Proof of a Type Unification Algorithm -- Testing and Evaluation -- Automatic generation of test cases and test purposes from natural language -- Time Performance Formal Evaluation of Complex Systems -- Test Case Generation from Natural Language Requirements using CPN Simulation. 330 $aThis book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015. The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v9526 606 $aSoftware engineering 606 $aComputer science 606 $aMachine theory 606 $aCompilers (Computer programs) 606 $aElectronic data processing$xManagement 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aCompilers and Interpreters 606 $aIT Operations 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aMachine theory. 615 0$aCompilers (Computer programs). 615 0$aElectronic data processing$xManagement. 615 14$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aCompilers and Interpreters. 615 24$aIT Operations. 676 $a004.0151 702 $aCornélio$b Márcio$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRoscoe$b Bill$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483842503321 996 $aFormal Methods: Foundations and Applications$9773789 997 $aUNINA