Loading…

Formal aspects of component software 17th International Conference, FACS 2021, Virtual event, October 28-29, 2021, Proceedings /

This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021. The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1...

Full description

Saved in:
Bibliographic Details
Corporate Authors: FACS (Symposium) Online), SpringerLink (Online service)
Other Authors: Salaün, G. (Gwen) (Editor), Wijs, Anton (Editor)
Format: Conference Proceeding eBook
Language:English
Published: Cham, Switzerland : Springer, 2021.
Series:Lecture notes in computer science ; 13077.
LNCS sublibrary. Programming and software engineering.
Physical Description:
1 online resource (xii, 175 pages) : illustrations (some color).
Subjects:
Online Access:SpringerLink - Click here for access
Holdings details from CMU Electronic Access C502
Copy 1 CMU Electronic Access Available

Internet

SpringerLink - Click here for access