Coalgebraic methods in computer science 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, revised selected papers /
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March/April 2012. The 10 revised full papers were carefully reviewed and selected from 23 su...
সংরক্ষণ করুন:
সংস্থা লেখক: | SpringerLink (Online service) |
---|---|
অন্যান্য লেখক: | Schröder, Lutz, Pattinson, Dirk |
বিন্যাস: | বৈদ্যুতিন গ্রন্থ |
ভাষা: | English |
প্রকাশিত: |
Berlin, Heidelberg
Imprint: Springer
2012.
|
মালা: | Lecture notes in computer science
7399 |
বিষয়গুলি: | |
অনলাইন ব্যবহার করুন: | Click here to view the full text content |
ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
অনুরূপ উপাদানগুলি
-
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)