Coalgebraic methods in computer science : 11th International Workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, march 31 -- april 1, 2012, revised selected papers /

Detalles Bibliográficos
Formato: Libro
Lenguaje:English
Publicado: c2012.
Acceso en línea:Ver documento en línea
LEADER 00769nmm a2200157 a 4500
001 000683117
005 20220928125758.0
008 220602t2012 gs ||||||eng d
020 |a 9783642327841  |q (ebook) 
040 |a Sistema de Bibliotecas de la Universidad de Costa Rica 
041 |a eng 
245 1 0 |a Coalgebraic methods in computer science :  |b 11th International Workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, march 31 -- april 1, 2012, revised selected papers /  |c Dirk Pattinson, Lutz Schröder. 
260 |c c2012. 
300 |a 1 recurso en línea. 
506 |a Acceso al texto completo para la comunidad de la UCR por medio de la cuenta institucional 
856 4 1 |u https://springerlink.proxyucr.elogim.com/book/10.1007/978-3-642-32784-1  |y Ver documento en línea