by Diego Marmsoler, Meng Sun · Springer · tapa blanda · ISBN 9783031712609
VAT included
Hamelyn quality guarantee · checked and verified, or your money back
«Formal Aspects of Component Software» is the proceedings book of the FACS 2024 conference, edited by Diego Marmsoler and Meng Sun (Springer, paperback).
The volume brings together the selected papers of the twentieth edition of the conference, focused on the formal analysis of component software. The eight texts deal with verification and testing, formal models and blockchain security, and show current approaches to the design and composition of software systems.
Volume 15189 of Lecture Notes in Computer Science; proceedings of the 20th International Conference FACS 2024, held in Milan on 9 and 10 September 2024.
For researchers and professionals working with formal methods, software verification and blockchain security.
Tapa blanda
