Home
Formal Methods by Christiano Braga, Paperback | Indigo Chapters
Coles
Formal Methods by Christiano Braga, Paperback | Indigo Chapters
From Christiano Braga
Current price: $65.95
Loading Inventory...
Size: 1 x 9.25 x 6.6
*Product information may vary - to confirm product availability, pricing, and additional information please contact Coles
This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014.The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area. | Formal Methods by Christiano Braga, Paperback | Indigo Chapters
You May Also Like
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
