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

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
フォーマット:	eBook
言語:	English
出版事項:	Berlin, Heidelberg Imprint: Springer 2012.
シリーズ:	Lecture notes in computer science 7399
主題:	Computer science. Logic design.
オンライン･アクセス:	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)

Algebra and coalgebra in computer science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings

Fundamental approaches to software engineering : 15th International Conference, FASE 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)

Tools and algorithms for the construction and analysis of systems : 18th International Conference, TACAS 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)

Programming languages and systems : 21st European symposium on programming, ESOP 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)

Algebra and coalgebra in computer science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings /
出版事項: (2013)

Business process management 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings /
出版事項: (2012)

Algebra and coalgebra in computer science third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings /
出版事項: (2009)

Reversible computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. revised papers /
出版事項: (2013)

Formal methods for components and objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
出版事項: (2013)

FM 2012: formal methods 18th International Symposium, Paris, France, August 27-31, 2012. proceedings /
出版事項: (2012)

Business process management workshops BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers /
出版事項: (2013)

Recent trends in algebraic development techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /
出版事項: (2013)

Deontic logic in computer science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings /
出版事項: (2012)

Structured object-oriented formal language and method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers /
出版事項: (2013)

Relational and algebraic methods in computer science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings /
出版事項: (2012)

NASA formal methods : 4th International symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /
出版事項: (2012)

Intelligent computer mathematics : 11th International conference, AISC 2012, 19th symposium, calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings /
出版事項: (2012)

Implementation and application of functional languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /
出版事項: (2013)

Unifying theories of programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /
出版事項: (2013)

Declarative agent languages and technologies X : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers /
出版事項: (2013)

Computer science - Theory and applications : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings /
出版事項: (2012)

Software composition : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings /
出版事項: (2012)

Formal methods for industrial critical systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. proceedings /
出版事項: (2012)

Computation, physics and beyond : international workshop on theoretical computer science, WTCS 2012, dedicated to Cristian S. Calude on the occasion of his 60th birthday, Auckland, New Zealand, February 21-24, 2012, revised selected and invited papers /
著者:: Dinneen, Michael J.
出版事項: (2012)

Computer engineering and technology : 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers /
出版事項: (2013)

Descriptional complexity of formal systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings /
著者:: Kutrib, Martin
出版事項: (2012)

Unconventional computation and natural computation 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings /
出版事項: (2012)

Integrated formal methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
出版事項: (2012)

Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers /
出版事項: (2013)

Runtime verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /
出版事項: (2013)

Principles of security and trust : First international conference, POST 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)

Compiler construction: 21st International Conference, CC 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)

Computer science logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
出版事項: (2007)

Static analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings /
出版事項: (2012)

Tests and proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings /
出版事項: (2012)