Cover Image

QR Code

Formal methods: foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014, Proceedings

Other Authors:	Braga, Christiano, Mart Oliet, Narciso
Language:	English
Published:	Cham: Springer International Publishing, 2015.
Subjects:	Formal methods (Computer science)

Similar Items

Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings / edited by Christiano Braga, Narciso Martí-Oliet.
Published: (2015)

Modern formal methods and applications edited by Hossam A. Gabbar.
Published: (2006)

Software engineering and formal methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers editors Carlos Canal, Akram Idani.
Published: (2015)

Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 December 2, 2005 : proceedings Judi Romijn, Graeme Smith, Jaco van de Pol (eds.).
Published: (2005)

Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings / edited by Márcio Cornélio, Bill Roscoe.
Published: (2016)

FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings edited by Nikolaj Bjorner, Frank de Boer..
Published: (2015)

Industrial strength formal methods in practice Michael G. Hinchey and Jonathan P. Bowen.
Published: (1999)

Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings / edited by Juliano Iyoda, Leonardo de Moura.
Published: (2013)

Formal Methods: Foundations and Applications 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings / edited by Gustavo Carvalho, Volker Stolz.
Published: (2020)

Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings / edited by Tiago Massoni, Mohammad Reza Mousavi.
Published: (2018)

Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings / edited by Leila Ribeiro, Thierry Lecomte.
Published: (2016)

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings / edited by Simone Cavalheiro, José Fiadeiro.
Published: (2017)

Design patterns formalization techniques Toufik Taibi, editor.
Published: (2007)

Formal specification : techniques and applications Nimal Nissankke.
by: Nissanke
Published: (1999)

Theory of formal languages with applications by Dan Simovici & Richard L. Tenney..
by: Simovici
Published: (1999)

Software specification methods edited by Henri Habrias, Marc Frappier.
Published: (2006)

An introduction to formal languages and automata Peter Linz.
by: Linz
Published: (2006)

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers / edited by Christiano Braga, Peter Csaba Ölveczky.
Published: (2016)

Validated designs for object-oriented systems John Fitzgerald ... [et al.].
Published: (2005)

Formal models of computation : the ultimate limits of computing Arthur Fleck.
by: Fleck, Arthur
Published: (2001)

Dynamic logic David Harel, Dexter Kozen, Jerzy Tiuryn.
by: Harel
Published: (2000)

Language computability and formal language theory edited Gerard Prudhomme.
Published: (2018)

Formal Methods in Macro-Biology First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings / edited by François Fages, Carla Piazza.
Published: (2014)

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings / edited by Elvira Albert, Emil Sekerinski.
Published: (2014)

Formal Grammar 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings / edited by Glyn Morrill, Reinhard Muskens, Rainer Osswald, Frank Richter.
Published: (2014)

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings / edited by Cliff Jones, Pekka Pihlajasaari, Jun Sun.
Published: (2014)

Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers / edited by Anna-Lena Lamprecht.
Published: (2016)

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings / edited by Stephan Merz, Jun Pang.
Published: (2014)

Formal Methods and Software Engineering 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings / edited by Lindsay Groves, Jing Sun.
Published: (2013)

Formal Languages and Compilation by Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti.
by: Crespi Reghizzi, Stefano., et al.
Published: (2013)

Workshop on planning & coordinating non-formal education programme on population education prepared by the Workshop Secretariat Centre for Extension and Continuing Education, Universiti Pertanian Malaysia.
Published: (1979)

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 / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2014)

Introduction to languages, machines, and logic : computable languages, abstract machines, and formal logic Alan P. Parkes..
by: Parkes
Published: (2002)

Leveraging Applications of Formal Methods, Verification and Validation: Applications 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2020)

Robust methods in biostatistics Stephane Heritier ... [et al.].
Published: (2009)

Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / edited by Ivan Lanese, Eric Madelaine.
Published: (2015)

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2014)

Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings / edited by Sergei Artemov, Anil Nerode.
Published: (2016)

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I / edited by Ersébet Csuhaj-Varjú, Martin Dietzfelbinger, Zoltán Ésik.
Published: (2014)

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II / edited by Ersébet Csuhaj-Varjú, Martin Dietzfelbinger, Zoltán Ésik.
Published: (2014)