Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings - Lecture Notes in Computer Science 7498 (Paperback)
  • Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings - Lecture Notes in Computer Science 7498 (Paperback)
zoom

Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings - Lecture Notes in Computer Science 7498 (Paperback)

(editor), (editor)
£41.99
Paperback 227 Pages / Published: 11/08/2012
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642332951
Number of pages: 227
Weight: 373 g
Dimensions: 235 x 155 x 12 mm
Edition: 2012 ed.

You may also be interested in...

Agile Testing
Added to basket
£44.49
Paperback
Management 3.0
Added to basket
£40.49
Paperback
Coaching Agile Teams
Added to basket
The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
Designing Data-Intensive Applications
Added to basket
The Agile Samurai
Added to basket
TestNG Beginner's Guide
Added to basket
Domain-Driven Design
Added to basket
£55.49
Hardback
Essential Scrum
Added to basket
£36.99
Paperback
Continuous Delivery
Added to basket
£44.49
Hardback
Design Patterns
Added to basket
£44.49
Hardback
Peopleware
Added to basket
£33.49
Paperback
Clean Code
Added to basket
£36.99
Paperback
The Clean Coder
Added to basket
£33.49
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.