LEADER 06039nam 22007455 450 001 996198831203316 005 20200629225506.0 010 $a3-319-15201-7 024 7 $a10.1007/978-3-319-15201-1 035 $a(CKB)2560000000326194 035 $a(Springer)9783319152011 035 $a(MH)014293530-1 035 $a(SSID)ssj0001424603 035 $a(PQKBManifestationID)11844613 035 $a(PQKBTitleCode)TC0001424603 035 $a(PQKBWorkID)11369023 035 $a(PQKB)10650414 035 $a(DE-He213)978-3-319-15201-1 035 $a(MiAaPQ)EBC5579590 035 $a(PPN)183520076 035 $a(EXLCZ)992560000000326194 100 $a20150131d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSoftware Engineering and Formal Methods$b[electronic resource] $eSEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /$fedited by Carlos Canal, Akram Idani 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (XXVII, 405 p. 147 illus.)$conline resource 225 1 $aProgramming and Software Engineering ;$v8938 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-15200-9 320 $aIncludes bibliographical references and index. 327 $aHOFM 2014 -- A Usability Evaluation of Interactive Theorem Provers Using Focus Groups -- An Approach for Creating Domain Specific Visualisations of CSP Models -- Using Z in the Development and Maintenance of Computational Models of Real-World Systems -- When a Formal Model Rhymes with a Graphical Notation -- SaFoMe 2014 -- On a Process Algebraic Representation of Sequence Diagrams -- Modelling and Verification of Survivability Requirements for Critical Systems -- Model-Based Verification of Safety Contracts -- A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems -- A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics -- OpenCert 2014 -- Modelling and Verifying Smell-Free Architectures with the ARCHERY Language -- OntoLiFLOSS: Ontology for Learning Processes in FLOSS Communities -- Process Mining Event Logs from FLOSS Data: State of the Art and Perspectives -- MoKMaSD 2014 -- A Latent Representation Model for Sentiment Analysis in Heterogeneous Social Networks -- Use of Mobile Phone Data to Estimate Visitors Mobility Flows -- An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities -- A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer -- Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea -- Research Challenges in Modelling Ecosystems -- Retrieving Points of Interest from Human Systematic Movements -- WS-FMDS 2014 -- Path-Sensitive Race Detection with Partial Order Reduced Symbolic Execution -- Phase-Type Approximations for Non-Markovian Systems: A Case Study -- Quantitative Anonymity Evaluation of Voting Protocols -- Scalable Verification of Markov Decision Processes -- Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis -- On Generation of Context-Abstract Plans -- A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF. 330 $aThis book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications - Systems and Domains, MoKMaSD 2014, the 8th International Workshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st Workshop on Safety and Formal Methods, SaFoMe 2014 and the 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014. 410 0$aProgramming and Software Engineering ;$v8938 606 $aComputer logic 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aMathematical logic 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 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aComputer logic. 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aMathematical logic. 615 14$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aMathematical Logic and Formal Languages. 676 $a005.1 702 $aCanal$b Carlos$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aIdani$b Akram$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996198831203316 996 $aSoftware Engineering and Formal Methods$92077897 997 $aUNISA 999 $aThis Record contains information from the Harvard Library Bibliographic Dataset, which is provided by the Harvard Library under its Bibliographic Dataset Use Terms and includes data made available by, among others the Library of Congress LEADER 01461nam 2200385Ia 450 001 996394566503316 005 20221108063916.0 035 $a(CKB)3810000000007401 035 $a(EEBO)2248545190 035 $a(OCoLC)18202462 035 $a(EXLCZ)993810000000007401 100 $a19880712d1668 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 14$aThe captives complaint, or, The prisoners plea against the burthensom and contentious title of tythes$b[electronic resource] $ewith a true relation of the prisoners spiritual progress, & travel towards the new and heavenly Jerusalem .. 210 $a[London] printed $c[s.n.]$d1668 215 $a[2], 142 p 300 $aPrinted t.p. lacking; title information from contemporary ms. t.p. 300 $aVarious letters within text signed: T.C., Tho. Carleton. 300 $aReproduction of original in the British Library. 330 $aeebo-0018 606 $aSociety of Friends$zEngland$vApologetic works 606 $aTithes$zEngland$vControversial literature 606 $aPersecution$zEngland 615 0$aSociety of Friends 615 0$aTithes 615 0$aPersecution 700 $aCarleton$b Tho$g(Thomas)$01009996 801 0$bEAJ 801 1$bEAJ 801 2$bWaOLN 906 $aBOOK 912 $a996394566503316 996 $aThe captives complaint, or, The prisoners plea against the burthensom and contentious title of tythes$92334397 997 $aUNISA LEADER 01296nam a2200313 i 4500 001 991000851179707536 005 20020507102313.0 008 970308s1963 fr ||| | fre 035 $ab10138468-39ule_inst 035 $aLE00637927$9ExL 040 $aDip.to Fisica$bita 041 0 $afre 084 $a52.9.58 110 2 $aConsiglio nazionale delle ricerche$01291 245 13$aLe choix des sites d'observatoires astronomiques :$bsite testing /$cédité par J. Rösch avec la collaboration de G. Courtès et J. Dommanget 260 $a[Paris] :$bUnion Astronomique Internationale,$c1963 300 $a382 p. ;$c25 cm. 490 0 $aSymposium de l'Union Astronomique Internationale ;$v19 500 $aTenu à Rome (Italie) du 1er au 6 Octobre 1962 avec le concours financier du Consiglio Nazionale delle Ricerche. 650 4$aAstronomical observatories 700 1 $aRösch, J. 700 1 $aCourtès, G. 700 1 $aDommanget, J. 907 $a.b10138468$b17-02-17$c27-06-02 912 $a991000851179707536 945 $aLE006 52.9.57+52.9.58 ROS$g1$i2006000029421$lle006$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i1016411x$z27-06-02 996 $aChoix des sites d'observatoires astronomiques$9185554 997 $aUNISALENTO 998 $ale006$b01-01-97$cm$da $e-$ffre$gfr $h3$i1