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...

Shranjeno v:

Bibliografske podrobnosti
Korporativna značnica:	SpringerLink (Online service)
Drugi avtorji:	Schröder, Lutz, Pattinson, Dirk
Format:	eKnjiga
Jezik:	English
Izdano:	Berlin, Heidelberg Imprint: Springer 2012.
Serija:	Lecture notes in computer science 7399
Teme:	Computer science. Logic design.
Online dostop:	Click here to view the full text content
Oznake:	Označite Brez oznak, prvi označite!

Podobne knjige/članki

Stochastic coalgebraic logic
od: Doberkat, Ernst-Erich
Izdano: (2010)

Stochastic coalgebraic logic
od: Doberkat, Ernst-Erich
Izdano: (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 /
Izdano: (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 /
Izdano: (2012)

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers /
Izdano: (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 /
Izdano: (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 /
Izdano: (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 /
Izdano: (2012)

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

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

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

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

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

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

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

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

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

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

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

NASA formal methods : 4th International symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /
Izdano: (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 /
Izdano: (2012)

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

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

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

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

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

Formal methods for industrial critical systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. proceedings /
Izdano: (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 /
od: Dinneen, Michael J.
Izdano: (2012)

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

Descriptional complexity of formal systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings /
od: Kutrib, Martin
Izdano: (2012)

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

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

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

Runtime verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /
Izdano: (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 /
Izdano: (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 /
Izdano: (2012)

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

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

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