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...
Guardado en:
| Autores corporativos: | , |
|---|---|
| Andre forfattere: | |
| Format: | Procedimiento de la conferencia Bog |
| Sprog: | engelsk |
| Udgivet: |
Cham, Suiza :
Springer,
2014, c2014
|
| Serier: | (Lecture Notes in Computer Science ; Advanced Research in Computing and Software Science)
8412. |
| Fag: | |
| Online adgang: | Ver documento en línea |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker: 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 /