Formal Methods: Foundations and Applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings /

Guardado en:

Detalles Bibliográficos
Autor principal:	Juliano Iyoda, Leonardo Moura (edición)
Formato:	Libro
Idioma:	Inglés
Publicado:	Berlín, Alemania : Springer, 2013, c2013
Colección:	(Lecture Notes in Computer Science)
Acceso en línea:	Ver documento en línea
Etiquetas:	Agrega una etiqueta Sin etiquetas, Sé el primero en etiquetar este registro!

Ejemplares similares: Formal Methods: Foundations and Applications :

Quick Look
Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings /
Quick Look
Formal Methods: Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings /
Quick Look
Formal Methods: Foundations and Applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers /
Quick Look
Formal Methods: Foundations and Applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers /
Quick Look
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings /
Quick Look
Programming Languages : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. : Proceedings /
Quick Look
NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
Quick Look
Formal Methods and Software Engineering : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings /
Quick Look
Formal Foundations for Software Engineering Methods /
Quick Look
Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings /
Quick Look
Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings /
Quick Look
Modelling Foundations and Applications : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings /
Quick Look
Formal Methods for Industrial Critical Systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings /
Quick Look
Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /
Quick Look
Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I /
Quick Look
Leveraging Applications of Formal Methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers /
Quick Look
Structured Object-Oriented Formal Language and Method : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : Revised Selected Papers /
Quick Look
Formal Methods for Dynamical Systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures /
Quick Look
Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /
Quick Look
Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /
Quick Look
Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /
Quick Look
Web Services and Formal Methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : Revised Selected Papers /
Quick Look
Leveraging Applications of Formal Methods, Verification and Validation : Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part II /
Quick Look
FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings /