|
|
|
|
| LEADER |
00689nam a2200133 a 4500 |
| 001 |
000732751 |
| 005 |
20240916160227.0 |
| 008 |
240916 2020 gr |||||| d |
| 020 |
|
|
|a 9783030643546
|q (ebook)
|
| 040 |
|
|
|a Sistema de Bibliotecas de Universidad de Costa Rica
|
| 245 |
1 |
0 |
|a Deductive software verification: future perspectives :
|b reflections on the occasion of 20 years of KeY /
|c Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich.
|
| 260 |
|
|
|c c2020.
|
| 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-030-64354-6
|y Ver documento en línea
|