Recent Trends in Algebraic Development Techniques
| ISBN: | 9783031889295 |
|---|---|
| Sprache: | Englisch |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | ?u?u, Ionu? |
| Verlag: | Springer International Publishing |
| Veröffentlicht: | 17.05.2025 |
| Untertitel: | 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers |
| Schlagworte: | Computer Science Logic and Foundations of Programming Computerprogrammierung und Softwareentwicklung Formal Languages and Automata Theory Institution Theory Operational Semantics Programming Techniques bisimilarity common meadows compositionality equational calculus formal learning theory information topology modal semirings quantum process calculi temporal logics trace semantics |