Coalgebraic Methods in Computer Science : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers /

Ítems similars

• 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 /
  Publicat: (2014)
• Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers /
  per: Maurice H. Beek, Niels Lohmann
  Publicat: (2013)
• 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 /
  per: Lars Birkedal
  Publicat: (2012)
• Algebra and Coalgebra in Computer Science : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings /
  per: Till Mossakowski, Ugo Montanari, Magne Haveraaen
  Publicat: (2007)
• Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings /
  per: Alexander Kurz, Marina Lenisa, Andrzej Tarlecki
  Publicat: (2009)