Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Formal Aspects of Component Software : 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers, Paperback / softback Book

Formal Aspects of Component Software : 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers Paperback / softback

Edited by Javier Camara, Sung-Shik Jongmans

Part of the Lecture Notes in Computer Science series

Paperback / softback

Description

This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023. The 11 full papers included in this book were carefully reviewed and selected from 23 submissions.

They were organized in topical sections as follows: cloud computing, cyber-physical and critical systems, and the Internet of Things.

Information

Save 16%

£49.99

£41.85

 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Information

Also in the Lecture Notes in Computer Science series  |  View all