Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings - Programming and Software Engineering 8195 (Paperback)
  • Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings - Programming and Software Engineering 8195 (Paperback)
zoom

Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings - Programming and Software Engineering 8195 (Paperback)

(editor), (editor)
£39.99
Paperback 243 Pages / Published: 13/09/2013
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. 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: 9783642410703
Number of pages: 243
Weight: 397 g
Dimensions: 235 x 155 x 14 mm
Edition: 2013 ed.

You may also be interested in...

Computer Literacy BASICS
Added to basket
Cyberpsychology
Added to basket
£34.99
Paperback
The Lego Architect
Added to basket
£20.99
Hardback
Dark Pools
Added to basket
£9.99
Paperback
Optimization Models
Added to basket
Discrete Mathematics
Added to basket
Understanding Machine Learning
Added to basket
Discrete Mathematics for Computing
Added to basket
MATLAB Demystified
Added to basket
£21.99
Paperback
UX Strategy
Added to basket
£31.99
Paperback
Computing with Quantum Cats
Added to basket
AQA A level Computer Science
Added to basket
Foundation Mathematics
Added to basket
Don't Make Me Think, Revisited
Added to basket

Please sign in to write a review

Your review has been submitted successfully.