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 /
Selección de ponencias presentadas en la décima séptima Conferencia Internacional sobre Fundamentos de la Ciencia del Software y las Estructuras de Computación, que tuvo lugar en Grenoble, Francia, en abril de 2014, y fue celebrada como parte de las décimo séptimas Conferencias Conjuntas Europeas so...
Guardat en:
| Autor corporatiu: | , |
|---|---|
| Altres autors: | |
| Format: | Actes de congresos Llibre |
| Idioma: | anglès |
| Publicat: |
Cham, Suiza :
Springer,
2014, c2014
|
| Col·lecció: | (Lecture Notes in Computer Science ; Advanced Research in Computing and Software Science)
8412. |
| Matèries: | |
| Accés en línia: | Ver documento en línea |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars: Foundations of Software Science and Computation Structures :
- Rewriting and Typed Lambda Calculi : Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : Proceedings /
- Deontic Logic and Normative Systems : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : Proceedings /
- Language, Life, Limits : 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014 : Proceedings /
- Mathematical Foundations of Computer Science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : Proceedings, Part I /
- Language and Automata Theory and Applications : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014 : Proceedings /
- Language and Automata Theory and Applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013 : Proceedings /