No products in the cart.
Sale!
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings
Original price was: $59.99.$20.99Current price is: $20.99.
ISBN: 9783031493423
Product Description
Formal Methods: Foundations and Applications
26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings
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.
Link Pinterest: Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings
From: motoono.com
eBook Details
Publish Date: December 1, 2023
Publisher: Springer Nature Switzerland
Author: Haniel Barbosa (ed.); Yoni Zohar (ed.)
Language: English
This ebook is available in EPUB (encrypted)
Be the first to review “Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings”
Related products
Sale!
Original price was: $21.99.$15.99Current price is: $15.99.
Sale!
Original price was: $25.00.$15.99Current price is: $15.99.
Sale!
Original price was: $32.00.$15.99Current price is: $15.99.
Sale!
Original price was: $22.53.$20.99Current price is: $20.99.
Sale!
Original price was: $44.99.$20.99Current price is: $20.99.
Sale!
Original price was: $23.28.$17.99Current price is: $17.99.
Sale!
Original price was: $39.99.$18.99Current price is: $18.99.
Sale!
Original price was: $23.09.$15.99Current price is: $15.99.
Reviews
There are no reviews yet.