LEADER 01722nam 2200421Ia 450 001 996394996503316 005 20200824132012.0 035 $a(CKB)3810000000008379 035 $a(EEBO)2240863363 035 $a(UnM)99899346e 035 $a(UnM)99899346 035 $a(EXLCZ)993810000000008379 100 $a19970714d1660 uh | 101 0 $alat 135 $aurbn||||a|bb| 200 00$aConfessio fidei in conventu theologorum authoritate Parliamenti Anglicani indicto elaborata$b[electronic resource] $eeidem Parliamento postmodum exhibita; quin & ab eodem, deinde?que ab Ecclesia Scoticana cognita & approbata; una? cum Catechismo duplici, majori, minori?que; e sermone Anglicano summa cum fide in Latinum versa 210 $aEdinburgi $cexcudebat Gideon Lithgo$danno Dom. 1660 215 $a[8], 182 p 300 $aWith marginal notes. 300 $aManuscript notes throughout the volume. 300 $aImperfect: cropped, stained, and tightly bound with some loss of text. 300 $aReproduction of the original in the National Library of Scotland. 330 $aeebo-0113 606 $aCreeds$xProtestant$vEarly works to 1800 606 $aCatechisms, English$vEarly works to 1800 615 0$aCreeds$xProtestant 615 0$aCatechisms, English 701 $aDillingham$b William$f1617?-1689.$01003365 712 12$aWestminster Assembly$f(1643-1652). 712 12$aWestminster Assembly$f(1643-1652). 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCu-RivES 801 2$bWaOLN 906 $aBOOK 912 $a996394996503316 996 $aConfessio fidei in conventu theologorum authoritate Parliamenti Anglicani indicto elaborata$92405939 997 $aUNISA LEADER 04892nam 22008055 450 001 996465598503316 005 20200702115245.0 010 $a1-280-38692-4 010 $a9786613564849 010 $a3-642-13464-5 024 7 $a10.1007/978-3-642-13464-7 035 $a(CKB)2670000000028944 035 $a(SSID)ssj0000446476 035 $a(PQKBManifestationID)11297678 035 $a(PQKBTitleCode)TC0000446476 035 $a(PQKBWorkID)10496361 035 $a(PQKB)11263282 035 $a(DE-He213)978-3-642-13464-7 035 $a(MiAaPQ)EBC3065355 035 $a(PPN)149063644 035 $a(EXLCZ)992670000000028944 100 $a20100607d2010 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Techniques for Distributed Systems$b[electronic resource] $eJoint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings /$fedited by John Hatcliff, Elena Zucca 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XII, 233 p. 40 illus.) 225 1 $aProgramming and Software Engineering ;$v6117 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-13463-7 320 $aIncludes bibliographical references and index. 327 $aInvited Talk -- Formal Software Verification: How Close Are We? -- Formal UML Modeling -- Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning -- Reactive Semantics for Distributed UML Activities -- Components and Architecture -- Statistical Abstraction and Model-Checking of Large Heterogeneous Systems -- Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude -- Testing Probabilistic Distributed Systems -- Specification and Testing of E-Commerce Agents Described by Using UIOLTSs -- Testing Attribute-Based Transactions in SOC -- Joint DisCoTec Session -- Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory -- Timed Process Algebra -- Forgetting the Time in Timed Process Algebra -- Theory and Implementation of a Real-Time Extension to the ?-Calculus -- Timed and Hybrid Automata -- Fuzzy-Timed Automata -- Model Checking of Hybrid Systems Using Shallow Synchronization -- Program Logics and Analysis -- Heap-Dependent Expressions in Separation Logic -- Static Type Analysis of Pattern Matching by Abstract Interpretation -- Reasoning about Distributed Systems -- On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols -- On Efficient Models for Model Checking Message-Passing Distributed Protocols -- Logics for Contravariant Simulations. 410 0$aProgramming and Software Engineering ;$v6117 606 $aComputer communication systems 606 $aComputer programming 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aMathematical logic 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 607 $aAmsterdam <2010>$2swd 615 0$aComputer communication systems. 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer logic. 615 0$aMathematical logic. 615 14$aComputer Communication Networks. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 676 $a004.36 702 $aHatcliff$b John$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aZucca$b Elena$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aFORTE 2010$f(2010 :$eAmsterdam, Netherlands) 906 $aBOOK 912 $a996465598503316 996 $aFormal Techniques for Distributed Systems$9774228 997 $aUNISA