Descriptional complexity of formal systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017. Proceedings /

Código QR

Descriptional complexity of formal systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017. Proceedings /

Detalles Bibliográficos
Formato:	Libro
Publicado:	c2017.
Acceso en línea:	Ver documento en línea

Ejemplares similares

Descriptional Complexity of Formal Systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings /
Publicado: (2017)

Descriptional complexity of formal systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Kosice, Slovakia, July 17-19, 2019. Proceedings /
Publicado: (2019)

Descriptional complexity of formal systems : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018. Proceedings /
Publicado: (2018)

Descriptional complexity of formal systems : 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings /
Publicado: (2016)

Descriptional complexity of formal systems : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings /
Publicado: (2012)

Descriptional complexity of formal systems : 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013. Proceedings /
Publicado: (2013)

Descriptional complexity of formal systems : 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings /
Publicado: (2014)

Descriptional complexity of formal systems : 13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings /
Publicado: (2011)

Descriptional complexity of formal systems : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /
Publicado: (2015)

Descriptional complexity of formal systems : 22nd International Conference, DCFS 2020, Vienna, Austria, August 24-26, 2020. Proceedings /
Publicado: (2020)

Cellular Automata and Discrete Complex Systems : 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings /
Publicado: (2017)

Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /
Publicado: (2017)

Formal description of programing concepts II Proceeding of the IFIP Workin Conference on formal Description of Programing Concepts II, Garmish- Partenkirchen, FRG, 1-4 June 1982
Publicado: (1983)

Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings /
Publicado: (2017)

Complex, intelligent, and software intensive systems : Proceedings of the 11th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-2017) /
Publicado: (2018)

Advances in dependability engineering of complex systems : Proceedings of the Twelfth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2 - 6, 2017, Brunów, Poland.

Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /
Publicado: (2017)

Chaos and complex systems : Proceedings of the 5th International Interdisciplinary Chaos Symposium /
Publicado: (2020)

Testing Software and Systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings /
Publicado: (2017)

Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings /
Publicado: (2017)

Dependability engineering and complex systems : Proceedings of the Eleventh International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 27-July 1, 2016, Brunów, Poland /
Publicado: (2016)

Algorithms and complexity : 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings.

Distributed applications and interoperable systems : 17th IFIP WG 6.1 International Conference, DAIS 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017. Proceedings /
Publicado: (2017)

Distributed Applications and Interoperable Systems : 17th IFIP WG 6.1 International Conference, DAIS 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /
Publicado: (2017)

Critical systems: formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017 Turin, Italy, September 18-20, 2017, Proceedings /
Publicado: (2017)

Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings /
Publicado: (2017)

Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings /
Publicado: (2017)

Chaos and complex systems : Proceedings of the 4th International Interdisciplinary Chaos Symposium /
Publicado: (2013)

Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings /
Publicado: (2017)

Complex Systems Design & Management : Proceedings of the First International Conference on Complex Systems Design & Management CSDM 2010 /
Publicado: (2010)

Complex systems design & management : Proceedings of the First International Conference on Complex Systems Design & Management CSDM 2010 /
Publicado: (2010)

Complex systems design & management : Proceedings of the Second International Conference on Complex Systems Design & Management CSDM 2011 /
Publicado: (2012)

Complex networks VIII : Proceedings of the 8th Conference on Complex Networks CompleNet 2017 /
Publicado: (2017)

Technological Innovation for Smart Systems : 8th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2017, Costa de Caparica, Portugal, May 3-5, 2017, Proceedings /
Publicado: (2017)

Complex Systems Design & Management : Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012 /
Publicado: (2013)

Complex systems design & management : Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013 /
Publicado: (2014)

Complex systems design & management : Proceedings of the Fifth International Conference on Complex Systems Design & Management CSD&M 2014 /
Publicado: (2015)

Complex systems design & management : Proceedings of the Sixth International Conference on Complex Systems Design & Management, CSD&M 2015 /
Publicado: (2016)

Complex systems design & management : Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012 /
Publicado: (2013)

Formal Concept Analysis : 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings /
Publicado: (2017)