Coalgebraic methods in computer science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, april 2-3, 2016, revised selected papers /

Detalles Bibliográficos
Formato: Libro
Lenguaje:English
Publicado: c2016.
Acceso en línea:Ver documento en línea
LEADER 00763nmm a2200157 a 4500
001 000683116
005 20220928125711.0
008 220602t2016 gs ||||||eng d
020 |a 9783319403700  |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 13th IFIP WG 1.3 International Workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, april 2-3, 2016, revised selected papers /  |c Ichiro Hasuo. 
260 |c c2016. 
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-319-40370-0  |y Ver documento en línea