Delwedd Flaen
Côd QR

Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27–29, 2013 : Revised Selected Papers /

Selección de las ponencias presentadas en el décimo Simposio Internacional sobre Aspectos Formales del Software de Componentes, celebrado en Nanchang, China, en octubre de 2013. Los artículos abordan, principalmente, el uso de los métodos formales en el desarrollo de software para componentes que se...

Disgrifiad llawn

Wedi'i Gadw mewn:
Awdur Corfforaethol: International Symposium on Formal Aspects of Component Software ( Nanchang, China)
Awduron Eraill: Fiadeiro, José Luiz (edición) (edición), Liu, Zhiming (edición) (edición), Xue, Jinyun (edición) (edición)
Fformat: Trafodyn Cynhadledd Llyfr
Iaith:Saesneg
Cyhoeddwyd: Cham, Suiza : Springer, 2014, c2014
Cyfres:(Lecture Notes in Computer Science ; 8348)
Pynciau:
Arquitectura de Computadoras
Algoritmos Computacionales
Codificación - > Teoría
Autómatas Matemáticos - > Teoría
Compiladores (Software)
Ingeniería de Software
Programación (Software) - > Tema Principal
Algoritmos
Desarrollo de Sistemas - > Congresos - > Tema Principal
Desarrollo de Sistemas
Ingeniería Computacional
Mynediad Ar-lein:Ver documento en línea
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

MARC

LEADER 00000nam^a2200000^a^4500
001 000556534
005 20251023000000.0
009 20260526152653.774
020 |a 978-3-319-07602-7 
022 |a 1611-3349 
037 |a Acervo ITESO - Biblioteca 
041 |a ING 
082 |a Libro en línea 
111 |a International Symposium on Formal Aspects of Component Software (  |n 10° :  |d 2013 :  |c Nanchang, China) 
245 1 0 |a Formal Aspects of Component Software :  |b 10th International Symposium, FACS 2013, Nanchang, China, October 27–29, 2013 : Revised Selected Papers /  |c Ed. de J.L. Fiadeiro, Z. Liu, J. Xue. 
264 4 |a Cham, Suiza :  |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 (X, 385 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 8348) 
506 0 |a Licencias ilimitadas 
520 |a Selección de las ponencias presentadas en el décimo Simposio Internacional sobre Aspectos Formales del Software de Componentes, celebrado en Nanchang, China, en octubre de 2013. Los artículos abordan, principalmente, el uso de los métodos formales en el desarrollo de software para componentes que se ajusten a las nuevas infraestructuras de tecnologías de información de la actualidad. 
649 |a XX 
650 |a Arquitectura de Computadoras 
650 |a Algoritmos Computacionales 
650 |a Codificación -  |x Teoría 
650 |a Autómatas Matemáticos -  |x Teoría 
650 |a Compiladores (Software) 
650 |a Ingeniería de Software 
650 |a Programación (Software) -  |x Tema Principal 
650 |a Algoritmos 
650 |a Desarrollo de Sistemas -  |x Congresos -  |x Tema Principal 
650 |a Desarrollo de Sistemas 
650 |a Ingeniería Computacional 
700 |a Fiadeiro, José Luiz  |e (edición) 
700 |a Liu, Zhiming  |e (edición) 
700 |a Xue, Jinyun  |e (edición) 
856 4 0 |u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-319-07602-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 556534-1  |b IT2  |c EBO  |i C  |u 20250521 
902 |a https://opac.biblio.iteso.mx/vufind/Record/000556534 

Eitemau Tebyg