1 option
Formal Aspects of Component Software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings / edited by Gwen Salaün, Anton Wijs.
- Format:
- Book
- Series:
- Computer Science (SpringerNature-11645)
- LNCS sublibrary. Programming and software engineering 2945-9168 ; SL 2, 13077
- Programming and Software Engineering, 2945-9168 ; 13077
- Language:
- English
- Subjects (All):
- Software engineering.
- Computer systems.
- Computers, Special purpose.
- Computer networks.
- Computer science.
- Microprogramming.
- Software Engineering.
- Computer System Implementation.
- Special Purpose and Application-Based Systems.
- Computer Communication Networks.
- Computer Science Logic and Foundations of Programming.
- Control Structures and Microprogramming.
- Local Subjects:
- Software Engineering.
- Computer System Implementation.
- Special Purpose and Application-Based Systems.
- Computer Communication Networks.
- Computer Science Logic and Foundations of Programming.
- Control Structures and Microprogramming.
- Physical Description:
- 1 online resource (XII, 175 pages) : 63 illustrations, 21 illustrations in color.
- Edition:
- 1st ed. 2021.
- Contained In:
- Springer Nature eBook
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2021.
- System Details:
- text file PDF
- Summary:
- 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 invited paper. FACS 2021 is concerned with how formal methods can be applied to component-based software and system development. The book is subdivided into two blocks: Modelling and Composition and Verification. Chapter "A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
- Contents:
- Invited Papers
- Modelling and Composition
- Verification.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-030-90636-8
- 9783030906368
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.