|
|
|
|
| LEADER |
01550nam a2200325 a 4500 |
| 001 |
000647789 |
| 005 |
20241108095754.0 |
| 008 |
210729s2010 gw a gs| ||||||eng d |
| 020 |
|
|
|a 9783642118111
|q (ebook)
|
| 040 |
|
|
|a Sistema de Bibliotecas de Universidad de Costa Rica
|
| 082 |
0 |
|
|a 004
|2 23
|
| 245 |
0 |
0 |
|a Abstract state machines, Alloy, B and Z :
|b second international conference, ABZ 2010, Orford, QC, Canada, february 22-25, 2010 : proceedings /
|c Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (eds.).
|
| 260 |
|
|
|a Berlín :
|b Springer,
|c c2010.
|
| 300 |
|
|
|a 1 recurso en línea (xiv, 416 páginas) :
|b ilustraciones en blanco y negro, archivo de texto, PDF.
|
| 490 |
0 |
|
|a Lecture notes in computer science
|v 5977
|
| 506 |
|
|
|a Acceso al texto completo para la comunidad de la UCR por medio de la cuenta institucional
|
| 650 |
0 |
7 |
|a TEORIA DE LAS MAQUINAS
|v CONGRESOS
|
| 650 |
0 |
7 |
|a APRENDIZAJE POR MAQUINAS
|v CONGRESOS
|
| 650 |
0 |
7 |
|a MÉTODO B (COMPUTADORAS)
|
| 650 |
0 |
0 |
|a Z (LENGUAJE DE PROGRAMACION)
|v CONGRESOS
|
| 700 |
1 |
|
|a Frappier, Marc
|d 1965-
|e Editor/a
|
| 700 |
1 |
|
|a Glässer, Uwe
|d 1959-
|e Editor/a
|
| 700 |
1 |
|
|a Khurshid, Sarfraz
|e Editor/a
|
| 700 |
1 |
|
|a Laleau, Régine
|e Editor/a
|
| 700 |
1 |
|
|a Reeves, Steven Victor
|d 1957-
|e Editor/a
|
| 711 |
2 |
|
|a ABZ (Conference)
|n (2 :
|d 2010 :
|c Orford, Québec)
|j Autor/a
|
| 856 |
4 |
1 |
|u https://springerlink.proxyucr.elogim.com/book/10.1007/978-3-642-11811-1
|y Ver documento en línea
|
| 900 |
|
|
|a 2024-O
|
| 916 |
|
|
|a Centro Catalográfico
|
| 949 |
|
|
|a MELS -MELS
|