Items related to Formal Methods: Foundations and Applications: 24th...
Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings (Programming and Software Engineering) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually.
The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail the development, dissemination, and use of formal methods for the construction of 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
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2021
- ISBN 10 3030921360
- ISBN 13 9783030921361
- BindingPaperback
- LanguageEnglish
- Edition number1
- Number of pages152
- EditorCampos Sérgio, Minea Marius
Search results for Formal Methods: Foundations and Applications: 24th...
Stock Image
Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings (Programming and Software Engineering)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020033167
Quantity: Over 20 available
Stock Image
Formal Methods: Foundations and Applications : 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783030921361
Quantity: 10 available
Stock Image
Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783030921361_new
Quantity: Over 20 available
Seller Image
Formal Methods: Foundations and Applications
Published by
Springer International Publishing Nov 2021, 2021
ISBN 10: 3030921360
ISBN 13: 9783030921361
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail the development, dissemination, and use of formal methods for the construction of 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 152 pp. Englisch. Seller Inventory # 9783030921361
Quantity: 2 available
Stock Image
Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6?10, 2021, Proceedings (Programming and Software Engineering)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. 1st ed. 2021 edition NO-PA16APR2015-KAP. Seller Inventory # 26390224389
Quantity: 4 available
Seller Image
Formal Methods: Foundations and Applications : 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6¿10, 2021, Proceedings
Published by
Springer International Publishing, Springer International Publishing, 2021
ISBN 10: 3030921360
ISBN 13: 9783030921361
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail the development, dissemination, and use of formal methods for the construction of 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. Seller Inventory # 9783030921361
Quantity: 1 available
Stock Image
Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6?10, 2021, Proceedings (Programming and Software Engineering)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 389408218
Quantity: 4 available
Seller Image
Formal Methods: Foundations and Applications
Published by
Springer, Berlin|Springer International Publishing|Springer, 2022
ISBN 10: 3030921360
ISBN 13: 9783030921361
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021.This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, whi. Seller Inventory # 523473560
Quantity: Over 20 available
Stock Image
Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6?10, 2021, Proceedings (Programming and Software Engineering)
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND. Seller Inventory # 18390224399
Quantity: 4 available
Seller Image
Formal Methods: Foundations and Applications
Published by
Springer International Publishing, Springer Nature Switzerland Nov 2021, 2021
ISBN 10: 3030921360
ISBN 13: 9783030921361
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail the development, dissemination, and use of formal methods for the construction of 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 areaSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch. Seller Inventory # 9783030921361
Quantity: 2 available