bokomslag Coalgebraic Methods in Computer Science
Data & IT

Coalgebraic Methods in Computer Science

Dirk Pattinson Lutz Schrder

Pocket

759:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 259 sidor
  • 2012
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 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.
  • Författare: Dirk Pattinson, Lutz Schrder
  • Format: Pocket/Paperback
  • ISBN: 9783642327834
  • Språk: Engelska
  • Antal sidor: 259
  • Utgivningsdatum: 2012-08-02
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K