Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings (Paperback, 1st ed. 2021)
Loot Price: R1,548
Discovery Miles 15 480
|
|
Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings (Paperback, 1st ed. 2021)
Series: Lecture Notes in Computer Science, 13130
Expected to ship within 10 - 15 working days
|
Donate to Against Period Poverty
Total price: R1,568
Discovery Miles: 15 680
|
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
General
Imprint: |
Springer Nature Switzerland AG
|
Country of origin: |
Switzerland |
Series: |
Lecture Notes in Computer Science, 13130 |
Release date: |
November 2021 |
First published: |
2021 |
Editors: |
Sergio Campos
• Marius Minea
|
Dimensions: |
235 x 155mm (L x W) |
Format: |
Paperback
|
Pages: |
141 |
Edition: |
1st ed. 2021 |
ISBN-13: |
978-3-03-092136-1 |
Categories: |
Books >
Computing & IT >
Computer programming >
Software engineering
|
LSN: |
3-03-092136-0 |
Barcode: |
9783030921361 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.