Formal Methods: Foundations and Applications

Name: Formal Methods: Foundations and Applications
Brand: Springer, Berlin
SKU: 9783031224751
Price: 58.1 EUR
Availability: InStock

25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings

Автор: Lucas Lima, Vince Molnár

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 5-8 дни

58.10 € 113.64 лв

This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SB...

Информация за книгата

Автор

Lucas Lima, Vince Molnár

Език

Английски език

Корици

Книга - С меки корици

Издадена

2022

страници

143

EAN

9783031224751

Enbook ID

42074879

Издател

Springer, Berlin

Теглоt

240

Размери

155 x 235 x 10

Пълно описание

This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the constructionof high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Formal Methods: Foundations and Applications

25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също