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 /

Saved in:

Bibliographic Details
Main Author:	Tommaso Bolognesi, Diego Latella (edición)
Format:	Book
Language:	English
Published:	Nueva York, EUA : Springer, 2000, c2000
Series:	(IFIP Advances in Information and Communication Technology)
Online Access:	Ver documento en línea
Tags:	Add Tag No Tags, Be the first to tag this record!

MARC


LEADER	00000nam^a22000000a04500
001	000597903
009	20260324184944.025
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