Formal Methods and Software Engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 : Proceedings /
Selección de las ponencias presentadas en la décima sexta Conferencia Internacional sobre Métodos de Ingeniería Formal, celebrada en Luxemburgo, Luxemburgo, en noviembre de 2014. Los documentos dan cuenta de una amplia gama de temas relacionados con los métodos formales y la ingeniería de software,...
محفوظ في:
| مؤلف مشترك: | |
|---|---|
| مؤلفون آخرون: | , |
| التنسيق: | وقائع المؤتمر كتاب |
| اللغة: | الإنجليزية |
| منشور في: |
Heidelberg, Alemania :
Springer,
2014, c2014
|
| سلاسل: | (Lecture Notes in Computer Science ;
8829) |
| الموضوعات: | |
| الوصول للمادة أونلاين: | Ver documento en línea |
| الوسوم: |
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000556552 | ||
| 005 | 20251023000000.0 | ||
| 009 | 20260526152653.852 | ||
| 020 | |a 978-3-319-11737-9 | ||
| 037 | |a Acervo ITESO - Biblioteca | ||
| 041 | |a ING | ||
| 082 | |a Libro en línea | ||
| 111 | |a International Conference on Formal Engineering Methods ( |n 16a : |d 2014 : |c Luxemburgo, Luxemburgo) | ||
| 245 | 1 | 0 | |a Formal Methods and Software Engineering : |b 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 : Proceedings / |c Ed. de S. Merz, J. Pang. |
| 264 | 4 | |a Heidelberg, Alemania : |b Springer, |c 2014, c2014 | |
| 264 | 2 | |a Cham, Suiza : |b Springer Link [distribución], |c 2014, c2014 | |
| 300 | |a 1 libro electrónico en línea (XVIII, 460 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 8829) | |
| 506 | 0 | |a Licencias ilimitadas | |
| 520 | |a Selección de las ponencias presentadas en la décima sexta Conferencia Internacional sobre Métodos de Ingeniería Formal, celebrada en Luxemburgo, Luxemburgo, en noviembre de 2014. Los documentos dan cuenta de una amplia gama de temas relacionados con los métodos formales y la ingeniería de software, particularmente se enfocan en la combinación de los aspectos conceptuales y metodológicos. | ||
| 649 | |a XX | ||
| 650 | |a Compiladores (Software) | ||
| 650 | |a Arquitectura de Software | ||
| 650 | |a Programación (Software) - |x Planeación | ||
| 650 | |a Programación (Software) | ||
| 650 | |a Autómatas Matemáticos - |x Teoría | ||
| 650 | |a Algoritmos Computacionales | ||
| 650 | |a Ingeniería de Software - |x Tema Principal | ||
| 650 | |a Desarrollo de Sistemas - |x Congresos - |x Tema Principal | ||
| 650 | |a Ingeniería Computacional | ||
| 700 | |a Merz, Stephan |e (edición) | ||
| 700 | |a Pang, Jun |e (edición) | ||
| 856 | 4 | 0 | |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-319-11737-9 |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 556552-1 |b IT2 |c EBO |i C |u 20250521 | ||
| 902 | |a https://opac.biblio.iteso.mx/vufind/Record/000556552 | ||