Coalgebraic Methods in Computer Science : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers /
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | inglés |
| Publicado: |
Berlín, Alemania :
Springer,
2012, c2012
|
| Series: | (Lecture Notes in Computer Science)
|
| Acceso en liña: | Ver documento en línea |
| Etiquetas: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
Títulos similares: Coalgebraic Methods in Computer Science :
- Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014 Colocated with ETAPS 2014, Grenoble, France, April 5–6, 2014 : Revised Selected Papers /
- Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers /
- Foundations of Software Science and Computational Structures : 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings /
- Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings /
- Algebra and Coalgebra in Computer Science : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings /
- Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings /