Bookshelf
study guides books reading lists e-books
home sign in my orders my e-books my trolley my account contact
| can't find it |

| browse books |
books
 

books

| book details |

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

Edited by Gwen Salaün, Edited by Anton Wijs





This book is currently unavailable. Enquire to check if we can source a used copy

| book description |

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.

| product details |



Normally shipped | Enquiries only
Publisher | Springer Nature Switzerland AG
Published date | 5 Nov 2021
Language |
Format | Paperback / softback
Pages | 175
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-0309-0635-1
Readership Age |
BISAC | computers / programming / software development

| other options |

| back |
| your trolley |
To view the items in your trolley please sign in.
| sign in |

| specials |

The Coming Wave: AI, Power and Our Future

Mustafa Suleyman
Paperback / softback
352 pages
was: R 295.95
now: R 265.95
Stock is usually dispatched in 6-12 days from date of order

Survive the AI Apocalypse: A guide for solutionists

Bronwen Williams
Paperback / softback
232 pages
was: R 340.95
now: R 306.95
Forthcoming
Let's stare the future down and, instead of fearing AI, become solutionists.

The Colonialist: The Vision of Cecil Rhodes

William Kelleher Storey
Paperback / softback
528 pages
was: R 425.95
now: R 382.95
Usually dispatched in 6-12 days
This first comprehensive biography of Cecil Rhodes in a generation illuminates Rhodes’s vision for the expansion of imperialism in southern Africa, connecting politics and industry to internal development, and examines how this fueled a lasting, white-dominated colonial society.

The Memory Collectors: A Novel

Dete Meserve
Paperback / softback
320 pages


Enquiries only
 
Copyright 2025 |  terms and conditions