|
|
|
|
| LEADER |
00698nmm a2200145 a 4500 |
| 001 |
000669810 |
| 005 |
20220722144541.0 |
| 008 |
220322t2011 o 000 eng d |
| 020 |
|
|
|a 9783642253799
|q (ebook)
|
| 040 |
|
|
|a Sistema de Bibliotecas de Universidad de Costa Rica
|
| 245 |
1 |
0 |
|a Certified programs and proofs :
|b First International Conference, CPP 2011, Kenting, Taiwan, december 7-9, 2011. Proceedings /
|c Jean-Pierre Jouannaud, Zhong Shao.
|
| 260 |
|
|
|c c2011.
|
| 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-25379-9
|y Ver documento en línea
|