Delivery included to the United States

Formal Aspects of Component Software

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings - Lecture Notes in Computer Science

Paperback (12 Oct 2024)

Save $8.81

  • RRP $61.25
  • $52.44
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 refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024.
The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections as follows: verification and testing, formal models, and security and blockchain.

Book information

ISBN: 9783031712609
Publisher: Springer Nature Switzerland
Imprint: Springer
Pub date:
DEWEY: 004.0151
DEWEY edition: 23
Language: English
Number of pages: 147
Weight: 245g
Height: 235mm
Width: 155mm
Spine width: 9mm