Abstract State Machines, Alloy, B, TLA, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : Proceedings /
Selección de las ponencias presentadas en la Conferencia ASM que en 2012 se llevó a cabo en el marco de la celebración de los 65 años de vida del especialista en computación alemán Egon Börger, pionero en la aplicación de los métodos formales en la computación y creador del método formal de máquinas...
Guardat en:
| Autor corporatiu: | , |
|---|---|
| Altres autors: | |
| Format: | Actes de congresos Llibre |
| Idioma: | anglès |
| Publicat: |
Berlín, Alemania :
Springer,
2012, c2012
|
| Col·lecció: | (Lecture Notes in Computer Science ;
7316) |
| Matèries: | |
| Accés en línia: | Ver documento en línea |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000434179 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260310123059.405 | ||
| 020 | |a 978-3-642-30885-7 | ||
| 037 | |a Acervo ITESO - Biblioteca | ||
| 041 | |a ING | ||
| 082 | |a 005. 131 |b INT 2012 | ||
| 111 | |a International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z ( |n 3° : |d 2012 : |c Pisa, Italia) | ||
| 240 | 1 | 1 | |a [Abstract State Machines, Alloy, B, TLA, VDM, and Z] |
| 245 | 1 | 0 | |a Abstract State Machines, Alloy, B, TLA, VDM, and Z : |b Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : Proceedings / |c Ed. de J. Derrick... [et al.]. |
| 264 | 4 | |a Berlín, Alemania : |b Springer, |c 2012, c2012 | |
| 264 | 2 | |a Cham, Suiza : |b Springer Link [distribución], |c 2012 | |
| 300 | |a 1 libro electrónico en línea (XV, 378 p.) | ||
| 300 | |a 1 recurso en línea | ||
| 336 | |a datos para computadora |b cod |2 rdacontenido | ||
| 337 | |a computadora |b c |2 rdamedio | ||
| 338 | |a recurso en línea |b cr |2 rdasoporte | ||
| 440 | 1 | |a (Lecture Notes in Computer Science ; |v 7316) | |
| 506 | 0 | |a Licencias ilimitadas | |
| 520 | |a Selección de las ponencias presentadas en la Conferencia ASM que en 2012 se llevó a cabo en el marco de la celebración de los 65 años de vida del especialista en computación alemán Egon Börger, pionero en la aplicación de los métodos formales en la computación y creador del método formal de máquinas de estado abstracto que permite el diseño y análisis, controlado y preciso, de hardware y software, así de como de su uso en la industria. El objetivo general de las conferencias ASM es identificar y describir los métodos formales en computación para que se puedan aprovechar mejor sus diferencias y semejanzas cuando se hacen modelos, validaciones experimentales y verificaciones matemáticas de sistemas computacionales de alta calidad confiables. | ||
| 649 | |a XX | ||
| 650 | |a Estructura de Datos | ||
| 650 | |a Reconocimiento de Patrones | ||
| 650 | |a Modelos Predictivos | ||
| 650 | |a Lenguajes Formales - |x Tema Principal | ||
| 650 | |a Lenguajes de Programación | ||
| 650 | |a Lógica Formal | ||
| 650 | |a Diseño Lógico | ||
| 650 | |a Electrónica - |x Matemáticas | ||
| 650 | |a Navegadores (Ingeniería Computacional) | ||
| 650 | |a Paquetes (Software) - |x Tema Principal | ||
| 650 | |a Arquitectura de Computadoras | ||
| 650 | |a Desarrollo de Sistemas | ||
| 650 | |a Sistemas Computacionales - |x Tema Principal | ||
| 650 | |a Inteligencia Artificial | ||
| 650 | |a Ingeniería de Software | ||
| 650 | |a Ingeniería Computacional | ||
| 650 | |a Börger, Egon - |x Tema Principal | ||
| 711 | |a FM&ABZ ( |d 2012 : |c Pisa, Italia) | ||
| 700 | |a Derrick, John |e (edición) | ||
| 856 | 4 | 0 | |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-642-30885-7 |y Ver documento en línea |
| 910 | |a Fondo General | ||
| 920 | |a Electrónicos - Libros en Línea | ||
| 930 | |a Plataforma Digital | ||
| 905 | |a 205 | ||
| 901 | |a 434179-1 |b IT2 |c EBO |i C172346 |u 20250521 | ||
| 902 | |a https://opac.biblio.iteso.mx/vufind/Record/000434179 | ||