Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Formal Aspects of Component Software: 17th International Conference, Facs 2021, Virtual Event, October 28-29, 2021, Proceedings

Formal Aspects of Component Software: 17th International Conference, Facs 2021, Virtual Event, October 28-29, 2021, Proceedings

Salaün, Gwen
Wijs, Anton

Paperback

General ComputersProgramming

ISBN10: 3030906353
ISBN13: 9783030906351
Publisher: Springer
Published: Nov 5 2021
Pages: 175
Weight: 0.60
Height: 0.40 Width: 6.14 Depth: 9.21
Language: English
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.

Also from

Salaün, Gwen

View All

Also in

Programming

View All