Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering Forlænget returret til 31/01/25

Coalgebraic Methods in Computer Science

- 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers (2012)

Forfatter: info mangler
Bog
  • Format
  • Bog, paperback
  • Engelsk

Beskrivelse

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.

Læs hele beskrivelsen
Detaljer
Størrelse og vægt
  • Vægt454 g
  • Dybde1,4 cm
  • coffee cup img
    10 cm
    book img
    15,5 cm
    23,5 cm

    Findes i disse kategorier...

    Se andre, der handler om...

    Machine Name: SAXO082