Zobacz książki o podobnej tematyce

Więcej informacji o Coalgebraic Methods in Computer Science

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 154 punkty

Opis

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.

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer science Mathematical theory of computation

• Pełny tytuł: Coalgebraic Methods in Computer Science
• Podtytuł: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
• Autor: Dirk Pattinson, Lutz Schröder
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 259
• EAN: 9783642327834
• ISBN: 3642327834
• ID: 01661960
• Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Waga: 415 g
• Wymiary: 235 × 155 × 15 mm
• Data wydania: 02. August 2012

Ulubione w innej kategorii

---

---

---