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.
Search results for Formal Methods: Foundations and Applications: 24th...
Stock Image
Formal Methods: Foundations and Applications (Paperback)
Published by
Springer Nature Switzerland AG, Cham, 2021
ISBN 10: 3030921360
ISBN 13: 9783030921361
New
Paperback
First Edition
Seller: Grand Eagle Retail, Mason, OH, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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 This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. 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)
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
Seller Image
Formal Methods - Foundations and Applications : 24th Brazilian Symposium, Sbmf 2021, Virtual Event, December 6-10, 2021, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 44058008
Quantity: 15 available
Seller Image
Formal Methods - Foundations and Applications : 24th Brazilian Symposium, Sbmf 2021, Virtual Event, December 6-10, 2021, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 44058008-n
Quantity: 15 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
Stock Image
Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings: 13130 (Lecture Notes in Computer Science, 13130)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
Paperback. 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: 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
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)
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
Stock Image
Formal Methods: Foundations And Applicat
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # V9783030921361
Quantity: 15 available