|
|
|
|
LEADER |
00696nmm a2200157 a 4500 |
001 |
000691387 |
005 |
20230112104456.0 |
008 |
230112t2010 go ||||||eng d |
020 |
|
|
|a 9783642115127
|q (ebook)
|
040 |
|
|
|a Sistema de Bibliotecas de la Universidad de Costa Rica
|
041 |
|
|
|a eng
|
245 |
|
0 |
|a Concurrency, compositionality, and correctness :
|b Essays in Honor of Willem-Paul de Roever /
|c Dennis Dams, Ulrich Hannemann, Martin Steffen.
|
260 |
|
|
|c c2010.
|
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-11512-7
|y Ver documento en línea
|