Web Services and Formal Methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : Revised Selected Papers /

Guardado en:

书目详细资料
企业作者:	International Workshop on Web Services and Formal Methods ( Beijing, China)
其他作者:	Tuosto, Emilio (edición) (edición), Ouyang, Chun (edición) (edición)
格式:	会议录图书
语言:	英语
出版:	Cham, Suiza : Springer, 2014, c2014
丛编:	(Lecture Notes in Computer Science ; 8379)
主题:	Computación en la Nube Métodos de Simulación Redes de Petri Servicios Web (Software) - > Tema Principal Internet Tecnologías de Comunicación e Información - > Congresos - > Tema Principal Ingeniería Computacional
在线阅读:	Ver documento en línea
标签:	添加标签没有标签, 成为第一个标记此记录!

MARC


LEADER	00000nam^a2200000^a^4500
001	000572792
005	20251023000000.0
009	20260310132315.422
020			\|a 978-3-319-08260-8
037			\|a Acervo ITESO - Biblioteca
041			\|a ING
082			\|a Libro en línea
111			\|a International Workshop on Web Services and Formal Methods ( \|n 10° : \|d 2013 : \|c Beijing, China)
245	1	0	\|a Web Services and Formal Methods : \|b 10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : Revised Selected Papers / \|c Ed. de E. Tuosto, C. Ouyang.
264		4	\|a Cham, Suiza : \|b Springer, \|c 2014, c2014
264		2	\|a Cham, Suiza : \|b Springer Link [distribución], \|c 2014
300			\|a 1 libro electrónico en línea (IX, 189 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 8379)
506	0		\|a Licencias ilimitadas
649			\|a XX
650			\|a Computación en la Nube
650			\|a Métodos de Simulación
650			\|a Redes de Petri
650			\|a Servicios Web (Software) - \|x Tema Principal
650			\|a Internet
650			\|a Tecnologías de Comunicación e Información - \|x Congresos - \|x Tema Principal
650			\|a Ingeniería Computacional
700			\|a Tuosto, Emilio \|e (edición)
700			\|a Ouyang, Chun \|e (edición)
856	4	0	\|u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-319-08260-8 \|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 572792-1 \|b IT2 \|c EBO \|i C \|u 20250521
902			\|a https://opac.biblio.iteso.mx/vufind/Record/000572792