Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10.13, 2000, Pisa, Italy /

Guardado en:

Bibliografiske detaljer
Hovedforfatter:	Tommaso Bolognesi, Diego Latella (edición)
Format:	Bog
Sprog:	engelsk
Udgivet:	Nueva York, EUA : Springer, 2000, c2000
Serier:	(IFIP Advances in Information and Communication Technology)
Online adgang:	Ver documento en línea
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

MARC


LEADER	00000nam^a22000000a04500
001	000597903
009	20260717132348.559
020			\|a 978-0-387-35533-7
022			\|a 1868-422X
037			\|a Acervo ITESO - Biblioteca
041			\|a ING
082			\|a Libro en línea
100			\|a Tommaso Bolognesi, Diego Latella \|e (edición)
245			\|a Formal Methods for Distributed System Development : \|b FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10.13, 2000, Pisa, Italy /
264		4	\|a Nueva York, EUA : \|b Springer, \|c 2000, c2000
264		2	\|a Cham, Suiza : \|b Springer Link [distribución], \|c 2025
300			\|a 1 libro electrónico en línea (XX, 412 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			\|a (IFIP Advances in Information and Communication Technology)
506	0		\|a Licencias ilimitadas
567			\|a Catalogación rápida
649			\|a XX
856	4	0	\|u https://link-springer-com.ezproxy.iteso.mx/10.1007/978-0-387-35533-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
902			\|a https://opac.biblio.iteso.mx/vufind/Record/000597903