LEADER 04364nam  22008415  450 
001 9910483645303321
005 20250206100738.0
010   $a9783319281148
010   $a3319281143
024 7 $a10.1007/978-3-319-28114-8
035   $a(CKB)4340000000001265
035   $a(SSID)ssj0001599566
035   $a(PQKBManifestationID)16305992
035   $a(PQKBTitleCode)TC0001599566
035   $a(PQKBWorkID)14892362
035   $a(PQKB)11272944
035   $a(DE-He213)978-3-319-28114-8
035   $a(MiAaPQ)EBC6299161
035   $a(MiAaPQ)EBC5591442
035   $a(Au-PeEL)EBL5591442
035   $a(OCoLC)1066191860
035   $a(PPN)190884924
035   $a(EXLCZ)994340000000001265
100   $a20151229d2015      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aRecent Trends in Algebraic Development Techniques $e22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /$fedited by Mihai Codescu, R?zvan Diaconescu, Ionu? ?u?u
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (XI, 171 p. 35 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9463
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a9783319281131 
311 08$a3319281135 
327   $aOn Logic Embeddings and Gödel?s God -- An Institutional Foundation for the K Semantic Framework -- A Theoretical Foundation for Programming Languages Aggregation -- Coalgebraic Semantics of Heavy-Weighted Automata -- Foundations of Logic Programming in Hybridised Logics -- What Is a Derived Signature Morphism? -- Use Case Analysis Based on Formal Methods: An Empirical Study -- A Full Operational Semantics for Asynchronous Relational Networks -- A SOC-Based Formal Specification and Verification of Hybrid Systems.
330   $aThis book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania. The 8 revised papers presented were carefully reviewed and selected from 13 presentations and focus together with one invited paper on foundations of algebraic specification, 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 ;$v9463
606   $aComputer science
606   $aMachine theory
606   $aComputer science$xMathematics
606   $aSoftware engineering
606   $aLogic, Symbolic and mathematical
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aMathematics of Computing
606   $aSoftware Engineering
606   $aTheory of Computation
606   $aMathematical Logic and Foundations
615  0$aComputer science.
615  0$aMachine theory.
615  0$aComputer science$xMathematics.
615  0$aSoftware engineering.
615  0$aLogic, Symbolic and mathematical.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aMathematics of Computing.
615 24$aSoftware Engineering.
615 24$aTheory of Computation.
615 24$aMathematical Logic and Foundations.
676   $a004.0151
702   $aCodescu$b Mihai$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aDiaconescu$b R?zvan$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $a?u?u$b Ionu?$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483645303321
996   $aRecent Trends in Algebraic Development Techniques$9771917
997   $aUNINA