,

Formal Aspects of Component Software

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

Paperback Engels 2022 9783031208713
Verwachte levertijd ongeveer 9 werkdagen

Samenvatting

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.

Specificaties

ISBN13:9783031208713
Taal:Engels
Bindwijze:paperback
Uitgever:Springer International Publishing

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Inhoudsopgave

Modelling.- Verification.- Logics.- Semantics.- Types.- Choreographies.<p></p><p></p><p><br></p>

Managementboek Top 100

Rubrieken

Populaire producten

    Personen

      Trefwoorden

        Formal Aspects of Component Software