Amazon cover image
Image from Amazon.com

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

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 13077. | LNCS sublibrary. SL 2, Programming and software engineering.Publisher: Cham, Switzerland : Springer, 2021Description: 1 online resource (xii, 175 pages) : illustrations (some color)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783030906368
  • 3030906361
Other title:
  • FACS 2021
Subject(s): Genre/Form: Additional physical formats: Print version:: Formal aspects of component software.DDC classification:
  • 004.01/51 23
LOC classification:
  • QA76.9.F67
Online resources:
Contents:
Invited Papers -- Modelling & Composition -- Verification.
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
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Invited Papers -- Modelling & Composition -- Verification.

Includes author index.

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

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

Powered by Koha