|
|
|
|
| LEADER |
01403nam a2200301 a 4500 |
| 001 |
000645662 |
| 005 |
20240312084408.0 |
| 008 |
210708s2008 nyuado gs ||||||eng d |
| 020 |
|
|
|a 9783540698500
|q (ebook)
|
| 020 |
|
|
|a 9783540698494
|
| 040 |
|
|
|a Sistema de Bibliotecas de la Universidad de Costa Rica
|
| 082 |
0 |
|
|a 621.381.548
|2 23
|
| 245 |
0 |
0 |
|a 25 Years of model checking :
|b history, achievements, perspectives /
|c Orna Grumberg, Helmut Veith (Eds.).
|
| 260 |
|
|
|a New York :
|b Springer,
|c c2008.
|
| 300 |
|
|
|a 1 recurso en línea (vi, 230 páginas) :
|b ilustraciones a color, fotografías a color, gráficos a color, archivo de texto, PDF.
|
| 490 |
0 |
|
|a Lecture Notes in Computer Science / Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
|v 5000
|
| 500 |
|
|
|a Impreso en Alemania
|
| 506 |
|
|
|a Acceso al texto completo para la comunidad de la UCR por medio de la cuenta institucional
|
| 650 |
0 |
7 |
|a VERIFICACION DE CIRCUITOS INTEGRADOS
|x HISTORIA
|v ENSAYOS, CONFERENCIAS, ETC.
|
| 650 |
0 |
7 |
|a ANALISIS DE SISTEMAS
|
| 650 |
0 |
7 |
|a INGENIERÍA DE SISTEMAS
|
| 650 |
0 |
7 |
|a ALGORITMOS (COMPUTADORAS)
|x EVALUACION
|
| 700 |
1 |
|
|a Grumberg, Orna
|e Editor/a
|
| 700 |
1 |
|
|a Veit, Helmut
|e Editor/a
|
| 856 |
4 |
1 |
|u https://springerlink.proxyucr.elogim.com/book/10.1007/978-3-540-69850-0
|y Ver documento en línea
|
| 900 |
|
|
|a 2024-O
|
| 916 |
|
|
|a Centro Catalográfico
|
| 949 |
|
|
|a MEG -SVZ
|