Coalgebraic methods in computer science 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, revised selected papers /

समान संसाधन

• Stochastic coalgebraic logic
  द्वारा: Doberkat, Ernst-Erich
  प्रकाशित: (2010)
• Stochastic coalgebraic logic
  द्वारा: Doberkat, Ernst-Erich
  प्रकाशित: (2010)
• 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 /
  प्रकाशित: (2012)
• Rewriting logic and its applications : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers /
  प्रकाशित: (2012)
• Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers /
  प्रकाशित: (2013)