Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29--October 1, 2014. Proceedings - Programming and Software Engineering - Christiano Braga - Books - Springer International Publishing AG - 9783319150741 - January 27, 2015
In case cover and title do not match, the title is correct

Christiano Braga
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29--October 1, 2014. Proceedings - Programming and Software Engineering 2015 edition

Price
$ 45.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - Jul 6

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceio, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions.

179 pages, 39 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 27, 2015
ISBN13 9783319150741
Publishers Springer International Publishing AG
Pages 179
Dimensions 155 × 235 × 10 mm   ·   276 g
Language German  
Editor Braga, Christiano
Editor Marti-Oliet, Narciso

Mere med samme udgiver

See all of Christiano Braga ( e.g. Paperback Book )