Formal Aspects of Component Software 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022 : Proceedings - Lecture Notes in Computer Science

FACS (Symposium), Silvia Lizeth Tapia Tarifa (editor), José Proença (editor)

Paperback (03 Nov 2022)

Save $9.16

RRP $75.18
$66.02

In Stock

Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

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.

Book information

ISBN:	9783031208713
Publisher:	Springer International Publishing
Imprint:	Springer
Pub date:	03 Nov 2022
DEWEY:	004.0151
DEWEY edition:	23
Language:	English
Number of pages:	245
Weight:	363g
Height:	235mm
Width:	155mm
Spine width:	14mm