| 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 2,109.95

Price: R 2,003.95

| add to trolley |

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

| other options |

| back |

| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

Fifteen Dogs

AndrÃ© Alexis
Paperback / softback
176 pages
was: R 280.95
now: R 252.95
Available from overseas. Dispatched in aprox 4-8 weeks as local supplier is out of stock

A pack of dogs are granted the power of human thought - but what will it do to them? A surprising and insightful look at the beauty and perils of consciousness.

| more |

| add to trolley |

Bonsai Success in Southern Africa

Carl Morrow
Paperback / softback
160 pages
was: R 320.95
now: R 288.95
Stock is usually dispatched in 6-12 days from date of order

In this uniquely Southern African book, Carl Morrow and Keith Kirsten guide readers step by step into the magical realms of bonsai as a hobby, horticultural practice and art form.

| more |

| add to trolley |

The Ballerina and the Bull: Anarchist Utopias in the Age of Finance

Johanna Isaacson
Paperback / softback
288 pages
was: R 306.95
now: R 275.95
This title will take longer to obtain, and should be delivered in 6-8 weeks

Our moment has seen the resurgence of an anarchist sensibility, from the uprisings in Seattle in 1999 to the Occupy movement of 2011.

| more |

| add to trolley |