LEADER 01509nam 2200361Ia 450 001 996392205603316 005 20221108060640.0 035 $a(CKB)1000000000676724 035 $a(EEBO)2248549271 035 $a(OCoLC)9920488300971 035 $a(EXLCZ)991000000000676724 100 $a19950918d1623 uy | 101 0 $aeng 135 $aurbn#|||a|bb| 200 13$aAn abstract of His Maiesties royall priuiledge, graunted vnder the great seale of England, to George VVither, master of arts, concerning his booke intituled, The hymnes and songs of the church$b[electronic resource] 210 $a[London $cs.n.$d1623] 215 $a1 sheet ([1] p.) 300 $aContains list of formats available, at end of sheet. 300 $aPlace and date of publication from STC (2nd ed.). 300 $aReproduction of original in: Society of Antiquaries. 330 $aeebo-0147 606 $aHymns, English$zGreat Britain$vEarly works to 1800 607 $aGreat Britain$xHistory$yJames I, 1603-1625 608 $aBroadsides$zLondon (England)$y17th century.$2rbgenr 615 0$aHymns, English 701 $aJames$cKing of England,$f1566-1625.$01001019 801 0$bEBK 801 1$bEBK 801 2$bWaOLN 906 $aBOOK 912 $a996392205603316 996 $aAn abstract of His Maiesties royall priuiledge, graunted vnder the great seale of England, to George VVither, master of arts, concerning his booke intituled, The hymnes and songs of the church$92386046 997 $aUNISA LEADER 04694nam 22007815 450 001 9910483394103321 005 20251226195145.0 010 $a3-642-05031-X 024 7 $a10.1007/978-3-642-05031-2 035 $a(CKB)1000000000812742 035 $a(SSID)ssj0000355636 035 $a(PQKBManifestationID)11267524 035 $a(PQKBTitleCode)TC0000355636 035 $a(PQKBWorkID)10340568 035 $a(PQKB)11640095 035 $a(DE-He213)978-3-642-05031-2 035 $a(MiAaPQ)EBC3064762 035 $a(PPN)139962336 035 $a(EXLCZ)991000000000812742 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTesting of Software and Communication Systems $e21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings /$fedited by Manuel Nunez, Paul Baker, Mercedes G. Merayo 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XII, 247 p.) 225 1 $aComputer Communication Networks and Telecommunications,$x2945-9184 ;$v5826 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-05030-1 320 $aIncludes bibliographical references and index. 327 $aRegular Papers -- Testing Real-Time Systems Using TINA -- A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems -- Testing k-Safe Petri Nets -- Implementing MSC Tests with Quiescence Observation -- Testing Timed Finite State Machines with Guaranteed Fault Coverage -- Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs -- Interaction Coverage Meets Path Coverage by SMT Constraint Solving -- Automatic Testing of Access Control for Security Properties -- Generating Reduced Tests for FSMs with Extra States -- An Approach for Test Selection for EFSMs Using a Theorem Prover -- TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks -- Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models -- Analyzing Response Inconsistencies in Test Suites -- Short Papers -- Model-Based Testing of Web Applications Using NModel -- Observability and Controllability Issues in Conformance Testing of Web Service Compositions -- Towards Automatic Generation of a Coherent TTCN-3 Template Framework -- OConGraX ? Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems -- Debugging into Examples -- Structural Analysis of Large TTCN-3 Projects. 330 $aThis book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches to Testing of Software, FATES 2009, jointly held in Eindhoven, The Netherlands, in November 2009. The 13 revised full papers presented together with 6 short papers were carefully selected from 37 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. 410 0$aComputer Communication Networks and Telecommunications,$x2945-9184 ;$v5826 606 $aSoftware engineering 606 $aComputer simulation 606 $aComputer programming 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aSoftware Engineering 606 $aComputer Modelling 606 $aProgramming Techniques 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 615 0$aSoftware engineering. 615 0$aComputer simulation. 615 0$aComputer programming. 615 0$aComputer science. 615 0$aCompilers (Computer programs). 615 14$aSoftware Engineering. 615 24$aComputer Modelling. 615 24$aProgramming Techniques. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 676 $a621.382028/7 701 $aNu?n?ez$b Manuel$00 701 $aBaker$b Paul$065019 701 $aMerayo$b M. G$g(Mercedes G.)$01752453 712 02$aInternational Federation for Information Processing.$bTechnical Committee 6. 712 12$aFATES 2009$f(2009 :$eEindhoven, Netherlands) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483394103321 997 $aUNINA