Formal Aspects of Component Software Formal Aspects of Component Software

Formal Aspects of Component Software

18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings

Silvia Lizeth Tapia Tarifa & José Proença
    • €54.99
    • €54.99

Publisher Description

This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022.The 12 full papers and 1 short paper were carefully reviewed and selected from 25 submissions. FACS 2021 is focusing on the areas of component software and formal methods in order to promote a deeper understanding of how formal methods can or should be used to make component-based software development succeed.

GENRE
Reference
RELEASED
2022
2 November
LANGUAGE
EN
English
LENGTH
255
Pages
PUBLISHER
Springer International Publishing
PROVIDER INFO
Springer Science & Business Media LLC
SIZE
20.5
MB

More Books Like This

repeater repeater
repeater
2012
Optimality Theory - An Introduction Optimality Theory - An Introduction
Optimality Theory - An Introduction
2012
Determiners and Quantifiers - Differences Determiners and Quantifiers - Differences
Determiners and Quantifiers - Differences
2010
The New Method of Evaluation as Applied to Pi The New Method of Evaluation as Applied to Pi
The New Method of Evaluation as Applied to Pi
2014
A Morphosyntactic Investigation of Functional Categories in English and Izon A Morphosyntactic Investigation of Functional Categories in English and Izon
A Morphosyntactic Investigation of Functional Categories in English and Izon
2016
Computational Semiotics Computational Semiotics
Computational Semiotics
2021

More Books by Silvia Lizeth Tapia Tarifa & José Proença

Theoretical Aspects of Computing – ICTAC 2023 Theoretical Aspects of Computing – ICTAC 2023
Theoretical Aspects of Computing – ICTAC 2023
2023
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2019