Formal aspects of component software :: 17th International Conference, FACS 2021, Virtual event, October 28-29, 2021, Proceedings /: Gwen Salaün, Anton Wijs (eds.).

Salaün, G.; Wijs, Anton,

doi:10.1007/978-3-030-90636-8

Formal aspects of component software : 17th International Conference, FACS 2021, Virtual event, October 28-29, 2021, Proceedings / Gwen Salaün, Anton Wijs (eds.).

FACS (Symposium) (17th : 2021 : Online); Salaün, G. (Gwen), editor.; Wijs, Anton, editor.

2021

QA76.9.F67

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

Formal aspects of component software : 17th International Conference, FACS 2021, Virtual event, October 28-29, 2021, Proceedings / Gwen Salaün, Anton Wijs (eds.).

Meeting Name

FACS (Symposium) (17th : 2021 : Online)

ISBN

9783030906368 (electronic bk.)
3030906361 (electronic bk.)
9783030906351 (print)
3030906353

DOI

https://doi.org/10.1007/978-3-030-90636-8

Published

Cham, Switzerland : Springer, 2021.

Language

English

Description

1 online resource (xii, 175 pages) : illustrations (some color).

Item Number

10.1007/978-3-030-90636-8 doi

Call Number

QA76.9.F67

Dewey Decimal Classification

004.01/51

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 & 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

Note

Includes author index.

Access Note

Access limited to authorized users.

Digital File Characteristics

text file
PDF

Source of Description

Online resource; title from PDF title page (SpringerLink, viewed November 9, 2021).

Added Author

Salaün, G. (Gwen), editor.
Wijs, Anton, editor.

Series

Lecture notes in computer science ; 13077.
LNCS sublibrary. SL 2, Programming and software engineering.