|
|
|
|
| LEADER |
01574nam a2200397 i 4500 |
| 001 |
000279468 |
| 005 |
20240805105100.0 |
| 008 |
171003s2017 sz ad fs 100 0 eng d |
| 020 |
|
|
|a 9783319681672
|q (e-book)
|
| 040 |
|
|
|a Sistema de Bibliotecas del Tecnológico de Costa Rica
|
| 111 |
2 |
|
|a International symposium, ATVA 2017. Proceedings
|n (15 :
|d 2017 : octubre, 3-6 :
|c Pune, India)
|
| 245 |
1 |
0 |
|a Automated technology for verification and analysis /
|c editores Deepak D'Souza, K. Narayan Kumar.
|
| 250 |
|
|
|a 1 edición
|
| 260 |
|
|
|a Cham, Suiza :
|b Springer,
|c 2017.
|
| 300 |
|
|
|a 1 recurso en línea :
|b ilustraciones, diagramas, gráficos.
|
| 336 |
|
|
|a texto
|b txt
|2 rdacontenido
|
| 337 |
|
|
|a computadora
|b c
|2 rdamedio
|
| 338 |
|
|
|a recurso en línea
|b cr
|2 rdaportador
|
| 500 |
|
|
|a Base de Datos SPRINGER
|
| 504 |
|
|
|a Referencias.
|
| 590 |
|
|
|a INGE
|
| 590 |
|
|
|a TECN
|
| 590 |
|
|
|a COMP
|
| 590 |
|
|
|a MANT
|
| 650 |
1 |
7 |
|a Ingeniería de software
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Lenguajes de programación
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Inteligencia artificial
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Entornos virtuales compartidos
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Organización de computadores
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Teoría de la computación
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Compiladores (Programas para computador)
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Intérpretes (Programas para computador)
|2 Tesauro SIBITEC
|
| 655 |
|
4 |
|a Libros electrónicos
|
| 700 |
1 |
|
|a D'Souza, Deepak,
|e editor
|
| 700 |
1 |
|
|a Narayan Kumar, K.,
|e editor
|
| 903 |
|
|
|a Elieth
|b 2024/08/05
|