Gifting Made Simple
Give the Gift of ChoiceClick below to purchase a Pine Centre eGift Card that can be used at participating retailers at Pine Centre.Purchase HereHome
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4
Coles
Loading Inventory...
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4
By None
Current price: $70.99
Original price: $88.68
Coles
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4
By None
Current price: $70.99
Original price: $88.68
Loading Inventory...
Size: Kobo eBook
*Product information and pricing may vary - to confirm current pricing, availability, shipping, and return information please contact Coles. In the event of a pricing discrepancy, the retailer's price will apply.
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.
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.
You May Also Like
More About Coles at Pine Centre
Shop Coles for bestselling books, toys, stationary, and so much more!
3079 Massey Dr, Prince George, BC V2N 1R4, Canada
Find Coles at Pine Centre in Prince George, BC
Visit Coles at Pine Centre in Prince George, BC
