¡Felicidades! Aplica BIENVENIDO15 y ahorra 15% en tu primera compra ¿Necesitas ayuda?

Envío gratis a partir de $389.00 (Consulta T&C)

eBook
sotano_covers_ebooks/9783031/9783031433450.jpg

Recent Trends In Algebraic Development Techniques - ENG

26th Ifip Wg 1.3 International Workshop, Wadt 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers

eBook

$1,200.00
Disponible
ISBN: 9783031433450
Formato: ePub
Idioma: Inglés
Editorial: Springer Nature
Tema: Computadoras
Subtema: Ciencia de computación
Año de publicación: 2023-10-21

This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022. The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected from 25 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic, and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed, and mobile systems).

imagen cookie  Este sitio web utiliza cookies para mejorar la experiencia del usuario y asegurar su funcionamiento con eficacia. Al utilizarlo usted acepta el uso de cookies.


Carrito de compra

Su pedido cuenta con 0 productos