Cantitate/Preț
Produs
Total produse
Vezi coșul
Coalgebraic Methods in Computer Science de Dirk Pattinson

Coalgebraic Methods in Computer Science

Editat de Dirk Pattinson, Lutz Schröder
en Limba Engleză Paperback – 2 aug 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.
Citește tot Restrânge

Preț: 32050 lei

Preț vechi: 40063 lei
-20%

Puncte Express: 481

Carte tipărită la comandă

Livrare economică 09-23 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783642327834
ISBN-10: 3642327834
Pagini: 268
Ilustrații: VII, 259 p. 7 illus.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.41 kg
Ediția:2012
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

From Lawvere to Brandenburger-Keisler: Interactive Forms ofDiagonalization and Self-reference.- Defining Context-Free Power Series Coalgebraically.- Relational Presheaves as Labelled Transition Systems.- On Finitary Functors and Their Presentations.- Structural Operational Semantics for Continuous State Probabilistic Processes.- Stream Automata Are Coalgebras.- Trace Semantics via Determinizatio.- An Alpha-Corecursion Principle for the Infinitary Lambda Calculus.- Lax Extensions of Coalgebra Functors.- From Transitions to Executions.- Tracing the Man in the Middle in Monoidal Categories.- Permutations in Coinductive Graph Representation.- Internal Models for Coalgebraic Modal Logics.

Textul de pe ultima copertă

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.

Caracteristici

State-of-the-art research Fast-track conference proceedings Unique visibility