Placeholder text
Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques
0 - Default Title
Description
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.
Product details
Binding:
Paperback
Number of Pages:
148
Release Date:
2025-05-16
Publication Date:
2025-05-16
Publisher:
Springer
Languages:
Original:
English
ISBN10:
3031889290
ISBN13:
9783031889295
GPSR Manufacturer Reference:
Weight:
236 g
Height:
155 cm
Width:
235 cm
Thickness:
9 cm
Currently sold out