Paperback
Explore rigorous software design with Brazilian formal methods research.
Formal Methods: Foundations and Applications, 1st Edition
26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings
- Paperback
153 pages
- Release Date
2 December 2023
Summary
This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023. The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.
The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.
Book Details
| ISBN-13: | 9783031493416 |
|---|---|
| ISBN-10: | 3031493419 |
| Author: | Haniel Barbosa, Yoni Zohar |
| Publisher: | Springer International Publishing AG |
| Imprint: | Springer International Publishing AG |
| Format: | Paperback |
| Number of Pages: | 153 |
| Edition: | 1st |
| Release Date: | 2 December 2023 |
| Weight: | 278g |
| Dimensions: | 235mm x 155mm |
| Series: | Lecture Notes in Computer Science |
You Can Find This Book In
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.