LEADER 03812nam 2200577 450 001 996465994703316 005 20220504070232.0 010 $a3-540-73210-1 024 7 $a10.1007/978-3-540-73210-5 035 $a(CKB)1000000000490695 035 $a(SSID)ssj0000318346 035 $a(PQKBManifestationID)11226187 035 $a(PQKBTitleCode)TC0000318346 035 $a(PQKBWorkID)10310222 035 $a(PQKB)11049690 035 $a(DE-He213)978-3-540-73210-5 035 $a(MiAaPQ)EBC3063173 035 $a(MiAaPQ)EBC6705646 035 $a(Au-PeEL)EBL6705646 035 $a(PPN)123163153 035 $a(EXLCZ)991000000000490695 100 $a20220504d2007 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aIntegrated formal methods $e6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /$fJim Davies, Jeremy Gibbons (editors) 205 $a1st ed. 2007. 210 1$aBerlin ;$aHeidelberg :$cSpringer,$d[2007] 210 4$dİ2007 215 $a1 online resource (IX, 662 p.) 225 1 $aLecture notes in computer science ;$v4591 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-73209-8 320 $aIncludes bibliographical references and index. 327 $aVerifying Temporal Properties of CommUnity Designs -- Precise Scenarios ? A Customer-Friendly Foundation for Formal Specifications -- Automated Verification of Security Policies in Mobile Code -- Slicing Concurrent Real-Time System Specifications for Verification -- Slotted-Circus -- Bug Hunting with False Negatives -- Behavioural Specifications from Class Models -- Inheriting Laws for Processes with States -- Probabilistic Timed Behavior Trees -- Guiding the Correction of Parameterized Specifications -- Proving Linearizability Via Non-atomic Refinement -- Lifting General Correctness into Partial Correctness is ok -- Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters -- Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks -- Finding State Solutions to Temporal Logic Queries -- Qualitative Probabilistic Modelling in Event-B -- Verifying Smart Card Applications: An ASM Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function -- UTP Semantics for Web Services -- Combining Mobility with State -- Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System -- Capturing Conflict and Confusion in CSP -- A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated Specifications for Verification -- Validating Z Specifications Using the ProB Animator and Model Checker -- Verification of Multi-agent Negotiations Using the Alloy Analyzer -- Integrated Static Analysis for Linux Device Driver Verification -- Integrating Verification, Testing, and Learning for Cryptographic Protocols -- Translating FSP into LOTOS and Networks of Automata -- Common Semantics for Use Cases and Task Models -- Unifying Theories of Objects -- Non-interference Properties for Data-Type Reduction of Communicating Systems -- Co-simulation of Distributed Embedded Real-Time Control Systems. 410 0$aLecture notes in computer science ;$v4591. 606 $aFormal methods (Computer science)$vCongresses 615 0$aFormal methods (Computer science) 676 $a004.0151 702 $aDavies$b Jim$f1964- 702 $aGibbons$b Jeremy$f1966- 712 12$aInternational Conference on Integrated Formal Methods 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465994703316 996 $aIntegrated Formal Methods$9772444 997 $aUNISA LEADER 01621nam 2200385 n 450 001 996397601303316 005 20240403122402.0 035 $a(CKB)4940000000064889 035 $a(EEBO)2264214353 035 $a(UnM)9927733000971 035 $a(UnM)99828041 035 $a(EXLCZ)994940000000064889 100 $a19950328d1678 uy | 101 0 $aeng 135 $aurbn#|||a|bb| 200 10$aTwo conferences$b[electronic resource] $eone betwixt a papist and a Jew, the other betwixt a Protestant and a Jew: in two letters from a merchant in London, to his correspondent in Amsterdam 210 $aLondon $cprinted for Tho. Parkhurst at the Bible and Three Crowns at the lower end of Cheapside, near Mercers Chappel; and at the Bible on London Bridge$d1678 215 $a[2], 30, [2], 40 p 300 $aIn two parts. Each part is signed: N.H., i.e. Richard Mayo. 300 $aSometimes erroneously attributed to Gilbert Burnet. 300 $aPart 2, A conference betwixt a Protestant and a Jew: or a second letter from a merchant in London, has a separate dated title page, separate pagination and register. 300 $aReproduction of the original in the Trinity College Library, Cambridge. 330 $aeebo-0120 606 $aJudaism$vControversial literature$vEarly works to 1800 615 0$aJudaism 700 $aMayo$b Richard$f1631?-1695.$01000961 702 $aBurnet$b Gilbert$f1643-1715, 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996397601303316 996 $aTwo conferences$92326638 997 $aUNISA