Bookshelf
study guides books reading lists e-books
home sign in my orders my e-books my trolley my account contact

| 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

| on special |

normal price: R 1 583.95

Price: R 1 504.95

| 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 | This title will take longer to obtain, and should be delivered in 6-8 weeks
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 |



Normally shipped | Available from overseas. Usually dispatched in 14 days
Readership Age |
Normal Price | R 2 060.95
 Price | R 1 957.95 | on special |

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

| specials |

Broken Country: AMAZON'S BOOK OF THE YEAR - THE MILLION-COPY BESTSELLER

Clare Leslie Hall
Paperback / softback
320 pages
was: R 395.95
now: R 355.95
Available from overseas. Dispatched in aprox 4-8 weeks as local supplier is out of stock
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?

The Correspondent

Virginia Evans
Hardback
288 pages
was: R 495.95
now: R 445.95
Forthcoming

Exiles: Times book of the month 'Stanley Kubrick meets MR James'

Mason Coile
Paperback / softback
224 pages
was: R 542.95
now: R 488.95
Forthcoming
A terrifying locked-room mystery set in a remote outpost on Mars.

Theory & Practice

Michelle de Kretser
Hardback
192 pages
was: R 415.95
now: R 373.95
Available from overseas. Dispatched in aprox 4-8 weeks as local supplier is out of stock
 
Copyright 2026 |  terms and conditions