When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Recent Trends in Algebraic Development Techniques: 27th IFIP WG 1.3
- Item No : 167538763872
- Condition : Brand New
- Brand : No brand Info
- Seller : bestpriceworldwide
- Current Bid : US $170.45
-
* Item Description
- This 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.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
-
- NO GRID Survival Projects
- $ 37.00
