Coalgebraic methods in computer science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, april 5-6, 2014, revised selected papers /

Detalles Bibliográficos
Formato: Libro
Lenguaje:English
Publicado: c2012.
Acceso en línea:Ver documento en línea
LEADER 00762nmm a2200157 a 4500
001 000683118
005 20220928125859.0
008 220602t2012 gs ||||||eng d
020 |a 9783662441244  |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 12th IFIP WG 1.3 International Workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, april 5-6, 2014, revised selected papers /  |c Marcello M. Bonsangue. 
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-662-44124-4  |y Ver documento en línea