Model Checking Software : 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings /

Zapisane w:

Opis bibliograficzny
1. autor:	Dragan Bo.na.ki, Stefan Leue (edición)
Format:	Książka
Język:	angielski
Wydane:	Berlín, Alemania : Springer, 2002, c2002
Seria:	(Lecture Notes in Computer Science)
Dostęp online:	Ver documento en línea
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

MARC


LEADER	00000nam^a22000000a04500
001	000603370
009	20260323184947.19
020			\|a 978-3-540-46017-6
022			\|a 1611-3349
037			\|a Acervo ITESO - Biblioteca
041			\|a ING
082			\|a Libro en línea
100			\|a Dragan Bo.na.ki, Stefan Leue \|e (edición)
245			\|a Model Checking Software : \|b 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings /
264		4	\|a Berlín, Alemania : \|b Springer, \|c 2002, c2002
264		2	\|a Cham, Suiza : \|b Springer Link [distribución], \|c 2025
300			\|a 1 libro electrónico en línea (X, 262 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 (Lecture Notes in Computer Science)
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/3-540-46017-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
902			\|a https://opac.biblio.iteso.mx/vufind/Record/000603370