LEADER 01785nam 2200361Ia 450 001 996387770603316 005 20221108072446.0 035 $a(CKB)1000000000628017 035 $a(EEBO)2240890229 035 $a(OCoLC)52529111 035 $a(EXLCZ)991000000000628017 100 $a20030701d1690 uy 0 101 0 $aeng 135 $aurbn||||a|bb| 200 10$aBy the King and Queen, a proclamation. Marie R$b[electronic resource] $eThe King and Queens Most Excellent Majesties taking into their princely consideration, that the holding the next Assizes for the several counties of this kingdom at the days and times first intended, might greatly obstruct the good endeavours ... for the common defence of the kingdom at this time of invasion by the French .. 210 $aPrinted at London ;$aand re-printed at Edinburgh $cby the Heir of Andrew Anderson, Printer to the King and Queens Most Excellent Majesties$d1690 215 $a1 sheet ([1] p.) 300 $aTitle from caption and first lines of text. 300 $aDated: Given at Our Court at Whitehall the nineteenth day of July, 1690. In the second year of Our Reign. 300 $aReproduction of the original in the National Library of Scotland. 330 $aeebo-0097 606 $aCounty courts$zGreat Britain$vEarly works to 1800 607 $aGreat Britain$xHistory$yWilliam and Mary, 1689-1702$vEarly works to 1800 608 $aBroadsides$zScotland$y17th century.$2rbgenr 615 0$aCounty courts 701 $aWilliam$cKing of England,$f1650-1702.$01000870 701 $aMary$cQueen of England,$f1662-1694.$01001117 801 0$bEAE 801 1$bEAE 906 $aBOOK 912 $a996387770603316 996 $aBy the King and Queen, a proclamation. Marie R$92316543 997 $aUNISA LEADER 01960oam 2200505zu 450 001 9910376125003321 005 20210807004712.0 010 $a1-4503-1022-2 035 $a(CKB)3460000000102964 035 $a(SSID)ssj0001120767 035 $a(PQKBManifestationID)11635369 035 $a(PQKBTitleCode)TC0001120767 035 $a(PQKBWorkID)11159691 035 $a(PQKB)10434695 035 $a(WaSeSS)IndRDA00012566 035 $a(Association for Computing Machinery)10.1145/2070821 035 $a(EXLCZ)993460000000102964 100 $a20160829d2011 uy 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 00$aProceedings of the International Workshop on Machine Learning Technologies in Software Engineering : 2011, Lawrence, Kansas, USA : MALETS '11 210 31$a[Place of publication not identified]$cACM$d2011 215 $a1 online resource (58 pages) 225 1 $aACM Other conferences 300 $aBibliographic Level Mode of Issuance: Monograph 410 0$aACM Other conferences 517 1 $aProceedings of the International Workshop on Machine Learning Technologies in Software Engineering 517 1 $aMALETS '11 International Workshop on Machine Learning Technologies in Software Engineering, Lawrence, KS, USA - November 12 - 12, 2011 606 $aEngineering & Applied Sciences$2HILCC 606 $aComputer Science$2HILCC 615 7$aEngineering & Applied Sciences 615 7$aComputer Science 700 $aAlrajeh$b Dalal$0951988 702 $aRusso$b Alessandra 702 $aAlrajeh$b Dalal 702 $aMenzies$b Tim 712 02$aAssociation for Computing Machinery-Digital Library. 801 0$bPQKB 906 $aBOOK 912 $a9910376125003321 996 $aProceedings of the International Workshop on Machine Learning Technologies in Software Engineering : 2011, Lawrence, Kansas, USA : MALETS '11$92152047 997 $aUNINA LEADER 06438nam 22007455 450 001 9910143909703321 005 20251116234303.0 010 $a3-540-46017-9 024 7 $a10.1007/3-540-46017-9 035 $a(CKB)1000000000211714 035 $a(SSID)ssj0000324881 035 $a(PQKBManifestationID)11239175 035 $a(PQKBTitleCode)TC0000324881 035 $a(PQKBWorkID)10320517 035 $a(PQKB)10447808 035 $a(DE-He213)978-3-540-46017-6 035 $a(MiAaPQ)EBC3072057 035 $a(PPN)155211439 035 $a(EXLCZ)991000000000211714 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aModel Checking Software $e9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings /$fedited by Dragan Bosnacki, Stefan Leue 205 $a1st ed. 2002. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002. 215 $a1 online resource (X, 262 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2318 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-43477-1 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- SAT-Based Counterexample Guided Abstraction Refinement -- Abstract Interpretation: Theory and Practice -- Invited Tutorial -- SPIN Tutorial: How to Become a SPIN Doctor -- Tutorial -- Abstraction in Software Model Checking: Principles and Practice -- Software Model Checking -- Symmetry Reduction Criteria for Software Model Checking -- Bytecode Model Checking: An Experimental Analysis -- The Influence of Software Module Systems on Modular Verification -- Extending the Translation from SDL to Promela -- Algorithms and Theoretical Foundations -- Model Checking Knowledge and Time -- Partial Order Reduction in Directed Model Checking -- Local Parallel Model Checking for the Alternation-Free ?-Calculus -- Applications -- The Agreement Problem Protocol Verification Environment -- Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach -- Using SPIN to Verify Security Properties of Cryptographic Protocols -- Work in Progress -- Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPIN -- SPINning Parallel Systems Software -- Dynamic Bounds and Transition Merging for Local First Search -- Invited Industrial Presentations -- Comparing Symbolic and Explicit Model Checking of a Software System -- Industrial Model Checking Based on Satisfiability Solvers -- A Typical Testing Problem: Validating WML Cellphones -- Model Checking Tools -- Heuristic Model Checking for Java Programs -- System Specification and Verification Using High Level Concepts ? A Tool Demonstration -- Demonstration of an Automated Integrated Test Environment for Web-Based Applications -- ?SPIN: Extending SPIN with Abstraction. 330 $aThe SPIN workshop series brings together researchers and practitioners interested in explicit state model checking technology as it is applied to the verification of software systems. Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis at Montre?al (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), and Toronto(2001). While the first SPIN workshop was a stand-alone event, later workshops have been organized as more or less closely affiliated events with larger conferences, in particular with CAV (1996), TACAS (1997), FORTE/PSTV (1998), FLOC (1999), World Congress on Formal Methods (1999), FMOODS (2000), and ICSE (2001). This year, SPIN 2002 was held as a satellite event of ETAPS 2002, the European Joint Conferences on Theory and Practice of Software. The co-location of SPIN workshops with conferences has proven to be very successful and has helped to disseminate SPIN model checking technology to wider audiences. Since 1999, the proceedings of the SPIN workshops have appeared in Springer-Verlag?s ?Lecture Notes in Computer Science? series. The history of successful SPIN workshops is evidence for the maturing of model checking technology, not only in the hardware domain, but increasingly also in the software area. While in earlier years algorithms and tool development 1 around the SPIN model checker were the focus of this workshop series, the scopehasrecentlywidenedtoincludemoregeneralapproachestosoftwaremodel checking. Current research in this area concentrates not so much on completely verifying system models, but rather on analyzing source code in order to discover software faults. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2318 606 $aComputer simulation 606 $aSoftware engineering 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 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 615 0$aComputer simulation. 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers) 615 14$aSimulation and Modeling. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 676 $a005.1/4 702 $aBosnacki$b Dragan$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLeue$b Stefan$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational SPIN Workshop. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143909703321 996 $aModel Checking Software$93359484 997 $aUNINA