LEADER 04435nam  22006855  450 
001 9910484324803321
005 20230330061144.0
010   $a3-642-37635-5
024 7 $a10.1007/978-3-642-37635-1
035   $a(CKB)3280000000007604
035   $a(DE-He213)978-3-642-37635-1
035   $a(SSID)ssj0000904598
035   $a(PQKBManifestationID)11480478
035   $a(PQKBTitleCode)TC0000904598
035   $a(PQKBWorkID)10924294
035   $a(PQKB)11786362
035   $a(MiAaPQ)EBC3093442
035   $a(PPN)169140504
035   $a(EXLCZ)993280000000007604
100   $a20130413d2013      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aRecent Trends in Algebraic Development Techniques$b[electronic resource] $e21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /$fedited by Narciso Martí-Oliet, Miguel Palomino
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (X, 283 p. 71 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7841
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-37634-7 
327   $aOpen Multiparty Interaction.- Behaviour Protection in Modular Rule-Based System Specifications.- Quantitative Modal Transition Systems.- Bounded Model Checking of Recursive Programs with Pointers in K.- A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing.- Adaptable Transition Systems.- Compiling Logics.- Transformation Systems with Incremental Negative Application Conditions.- Statistical Model Checking for Composite Actor Systems.- Barbed Semantics for Open Reactive Systems.- Designing Domain Specific Languages ? A Craftsman?s Approach for the Railway Domain Using Casl.- Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics.- Semantics of the Distributed Ontology Language: Institutes and Institutions.- Formal Specification of the Kademlia and the Kad Routing Tables in Maude -- A Generic Program Slicing Technique Based on Language Definitions -- Distances between Processes: A Pure Algebraic Approach.
330   $aThis book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. The 16 revised papers presented were carefully reviewed and selected from 25 presentations. The workshop deals with the following topics: foundations of algebraic specification; other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and techniques; model-driven development; graph transformations, term rewriting and proof systems; integration of formal specification techniques; formal testing and quality assurance; validation, and verification.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7841
606   $aComputer science
606   $aMachine theory
606   $aComputer science?Mathematics
606   $aMathematical logic
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aMathematics of Computing
606   $aTheory of Computation
606   $aMathematical Logic and Foundations
615  0$aComputer science.
615  0$aMachine theory.
615  0$aComputer science?Mathematics.
615  0$aMathematical logic.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aMathematics of Computing.
615 24$aTheory of Computation.
615 24$aMathematical Logic and Foundations.
676   $a005.1015113
702   $aMartí-Oliet$b Narciso$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPalomino$b Miguel$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a9910484324803321
996   $aRecent Trends in Algebraic Development Techniques$9771917
997   $aUNINA