Items related to Formal Methods: Foundations and Applications: 17th...
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Programming and Software Engineering) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
From the Back Cover
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.
"About this title" may belong to another edition of this title.
Search results for Formal Methods: Foundations and Applications: 17th...
Seller Image
Formal Methods Foundations and Applications : 17th Brazilian Symposium, Sbmf 2014, Maceió, Al, Brazil, September 29--october 1, 2014, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 23090280-n
Quantity: Over 20 available
Stock Image
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Programming and Software Engineering)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020089536
Quantity: Over 20 available
Seller Image
Formal Methods Foundations and Applications : 17th Brazilian Symposium, Sbmf 2014, Maceió, Al, Brazil, September 29--october 1, 2014, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 23090280
Quantity: Over 20 available
Stock Image
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783319150741_new
Quantity: Over 20 available
Stock Image
Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29--October 1, 2014. Proceedings
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783319150741
Quantity: 10 available
Stock Image
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings . / Programming and Software Engineering)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. 179. Seller Inventory # 26372182915
Quantity: 4 available
Seller Image
Formal Methods Foundations and Applications : 17th Brazilian Symposium, Sbmf 2014, Maceió, Al, Brazil, September 29--october 1, 2014, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 23090280-n
Quantity: Over 20 available
Seller Image
Formal Methods: Foundations and Applications
Published by
Springer International Publishing Jan 2015, 2015
ISBN 10: 331915074X
ISBN 13: 9783319150741
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 192 pp. Englisch. Seller Inventory # 9783319150741
Quantity: 2 available
Stock Image
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings . / Programming and Software Engineering)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand 179. Seller Inventory # 374911068
Quantity: 4 available
Seller Image
Formal Methods Foundations and Applications : 17th Brazilian Symposium, Sbmf 2014, Maceió, Al, Brazil, September 29--october 1, 2014, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 23090280
Quantity: Over 20 available