Formal Aspects of Component Software

Formal Aspects of Component Software

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

Proenca, Jose; Tapia Tarifa, Silvia Lizeth

Springer International Publishing AG

11/2022

245

Mole

Inglês

9783031208713

15 a 20 dias

397

Descrição não disponível.
Modelling.- Verification.- Logics.- Semantics.- Types.- Choreographies.
software design;software engineering;computer programming;computer systems;object-orientated programming