Other Authors:	Canal, Carlos, Idani, Akram
Language:	English
Published:	Cham Heidelberg: Springer, 2015.
Series:	Lecture Notes in Computer Science
Subjects:	Software engineering Formal methods (Computer science)

Formal methods: foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014, Proceedings Christiano Braga [et al.], (eds.)..
Published: (2015)

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

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

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

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

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers / edited by Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos.
Published: (2014)

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

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

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

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

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 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 specification : techniques and applications Nimal Nissankke.
by: Nissanke
Published: (1999)

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)

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / edited by Stefania Gnesi, Arend Rensink.
Published: (2014)

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

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

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)

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / edited by Anca Muscholl.
Published: (2014)

Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi.
Published: (2015)

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)

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

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)

Formal Concept Analysis 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. Proceedings / edited by Cynthia Vera Glodeanu, Mehdi Kaytoue, Christian Sacarea.
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 Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings / edited by Jing Sun, Meng Sun.
Published: (2018)

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings / edited by Zhenhua Duan, Luke Ong.
Published: (2017)

Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings / edited by Kazuhiro Ogata, Mark Lawford, Shaoying Liu.
Published: (2016)

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings / edited by Shaoying Liu, Tom Maibaum, Keijiro Araki.
Published: (2008)

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 Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings / edited by Kyungmin Bae, Peter Csaba Ölveczky.
Published: (2018)

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures / edited by Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer.
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)

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings / edited by Helmut Jürgensen, Juhani Karhumäki, Alexander Okhotin.
Published: (2014)

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)

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers / edited by José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue.
Published: (2014)

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)

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings / edited by José Proença, Markus Lumpe.
Published: (2017)

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers / edited by Corina S Pasareanu, Gwen Salaün.
Published: (2013)

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

Software engineering and formal methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers

Similar Items