Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4 in Brampton, ON

Name: Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4
Brand: None
Availability: Contact Retailer

By None

$70.99

$88.68

Visit retailer's website

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4 in Brampton, ON

By None

$70.99

$88.68

Loading Inventory...

Size: Kobo eBook

Visit retailer's website

*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.

Keep Shopping

More About Coles at Bramalea City Centre

Making Connections. Creating Experiences. We exist to add a little joy to our customers’ lives, each time they interact with us.

Store Info

Find Coles at Bramalea City Centre in Brampton, ON

Visit Coles at Bramalea City Centre in Brampton, ON

Home