LEADER 03170nam  22005775  450 
001 996660363903316
005 20250515130305.0
010   $a9783031889301
024 7 $a10.1007/978-3-031-88930-1
035   $a(CKB)38815685500041
035   $a(DE-He213)978-3-031-88930-1
035   $a(MiAaPQ)EBC32123040
035   $a(Au-PeEL)EBL32123040
035   $a(OCoLC)1524425208
035   $a(EXLCZ)9938815685500041
100   $a20250515d2025      u|         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aRecent Trends in Algebraic Development Techniques $e27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers /$fedited by Ionu? ?u?u
205   $a1st ed. 2025.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025.
215   $a1 online resource (IX, 135 p. 18 illus., 2 illus. in color.) 
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15587
311 08$a9783031889295 
327   $a -- Invited Papers.  -- Finite Approximations of the Common Meadow of Rational Numbers.  -- Some Uses of Modal Semirings.  -- Contributed Papers.  -- Bialgebraic Representation of Coordination Frameworks.  -- Topological Inquiry in Abstract Model Theory.  -- The Institution of Many-Logics Modal Logic.  -- Reconciling Quantum Theory and Process Equivalence via Physically Admissible Schedulers.
330   $aThis book constitutes the thoroughly refereed post-conference proceedings of the 27th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2024, held in Enschede, The Netherlands, on July 8, 2024. The 6 full papers presented in this volume were carefully reviewed and selected from 11 submissions. The contributed presentations covered a wide range of topics on the algebraic approach to system specification: from foundations of algebraic-specification languages to institutions and knowledge representation, to graph transformations, rewrite rules, process algebra, and bialgebraic frameworks, to many-logics modal systems and quantum process calculi, and to several applications to code synthesis and maintainability.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v15587
606   $aComputer science
606   $aMachine theory
606   $aComputer programming
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aProgramming Techniques
615  0$aComputer science.
615  0$aMachine theory.
615  0$aComputer programming.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aProgramming Techniques.
676   $a004.0151
702   $aTutu$b Ionut$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996660363903316
996   $aRecent Trends in Algebraic Development Techniques$9771917
997   $aUNISA