Formal Methods: Foundations and Applications

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

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

Szerző: Lucas Lima, Vince Molnár

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

21 238 Ft

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

Információk a könyvről

Szerző

Lucas Lima, Vince Molnár

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2022

oldal

143

EAN

9783031224751

Enbook ID

42074879

Kiadó

Springer, Berlin

Súly

240

Méretek

155 x 235 x 10

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Formal Methods: Foundations and Applications

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták