door Diego Marmsoler, Meng Sun · Springer · tapa blanda · ISBN 9783031712609
Inclusief btw
Hamelyn kwaliteitsgarantie · gecontroleerd en geverifieerd, of geld terug
«Formal Aspects of Component Software» is het congresverslag van de conferentie FACS 2024, onder redactie van Diego Marmsoler en Meng Sun (Springer, paperback).
Het volume brengt de geselecteerde papers van de twintigste editie van de conferentie samen, gericht op de formele analyse van componentsoftware. De acht teksten behandelen verificatie en testen, formele modellen en beveiliging met blockchain, en tonen actuele benaderingen voor het ontwerp en de compositie van softwaresystemen.
Volume 15189 van Lecture Notes in Computer Science; verslag van de 20e Internationale Conferentie FACS 2024, gehouden in Milaan op 9 en 10 september 2024.
Voor onderzoekers en professionals die werken met formele methoden, softwareverificatie en blockchainbeveiliging.
