|
Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems
|
Buy Now
Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings (Paperback, 1st ed. 2021)
Loot Price: R1,318
Discovery Miles 13 180
|
|
|
Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings (Paperback, 1st ed. 2021)
Series: Programming and Software Engineering, 13077
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
