Shulph Ink
Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings
Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings
YOU SAVE £8.35
- Condition: Brand new
- UK Delivery times: Usually arrives within 2 - 3 working days
- UK Shipping: Fee starts at £2.39. Subject to product weight & dimension
Bulk ordering. Want 15 or more copies? Get a personalised quote and bigger discounts. Learn more about bulk orders.
Couldn't load pickup availability
- More about Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings
The book summarizes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which focused on the development, dissemination, and use of formal methods for constructing high-quality computational systems.
Format: Paperback / softback
Length: 143 pages
Publication date: 01 December 2022
Publisher: Springer International Publishing AG
The 25th Brazilian Symposium on Formal Methods, SBMF 2022, held virtually in December 2022, presented a collection of 8 insightful regular papers that underwent rigorous review and selection from a pool of 15 submissions. This symposium, with a primary focus on the development, dissemination, and practical application of formal methods for constructing high-quality computational systems, sought to foster a platform for researchers and practitioners interested in formal methods to exchange knowledge and explore the latest advancements in this field.
The papers presented at SBMF 2022 covered a wide range of topics, including formal verification, model checking, theorem proving, and automated reasoning. Each paper presented novel approaches, techniques, and applications that contribute to the advancement of formal methods in computer science.
The symposium also featured invited talks by renowned experts in the field, providing valuable insights and perspectives on the latest developments and challenges in formal methods. These talks highlighted the importance of formal methods in various domains, such as software engineering, cybersecurity, and artificial intelligence, and emphasized their potential to improve the reliability, efficiency, and correctness of computational systems.
The 25th Brazilian Symposium on Formal Methods, SBMF 2022, played a crucial role in promoting the use of formal methods in the construction of high-quality computational systems. It provided a forum for researchers and practitioners to exchange ideas, collaborate, and explore new avenues for research and development in this field. The proceedings of the symposium will undoubtedly contribute to the growth and advancement of formal methods in computer science and serve as a valuable resource for future generations of researchers and practitioners.
Weight: 261g
Dimension: 235 x 155 (mm)
ISBN-13: 9783031224751
Edition number: 1st ed. 2022
This item can be found in:
UK and International shipping information
UK and International shipping information
UK Delivery and returns information:
- Delivery within 2 - 3 days when ordering in the UK.
- Shipping fee for UK customers from £2.39. Fully tracked shipping service available.
- Returns policy: Return within 30 days of receipt for full refund.
International deliveries:
Shulph Ink now ships to Australia, Belgium, Canada, France, Germany, Ireland, Italy, India, Luxembourg Saudi Arabia, Singapore, Spain, Netherlands, New Zealand, United Arab Emirates, United States of America.
- Delivery times: within 5 - 10 days for international orders.
- Shipping fee: charges vary for overseas orders. Only tracked services are available for most international orders. Some countries have untracked shipping options.
- Customs charges: If ordering to addresses outside the United Kingdom, you may or may not incur additional customs and duties fees during local delivery.
