Hybrid systems II /

Bibliographic Details
Other Authors:	Antsaklis, Panos (ed.), Kohn, Wolf (ed.)
Format:	Book
Published:	Berlin : Springer, 1995.
Series:	Lecture notes in computer science ; LNCS ; v. 999 v. 999
Subjects:	Computer architecture. Arquitectura de computadoras. Software engineering. Ingeniería de software. Programs-Specification. Programas-Especificación. Programs-Verification. Programas-Verificación.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20170704175223.0
008	110511s1995 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 3540604723
040			\|a AR_CdUFM \|c AR_CdUFM
245	0	0	\|a Hybrid systems II / \|c edited by Panos Antsaklis, Wolf Kohn.
260			\|a Berlin : \|b Springer, \|c 1995.
300			\|a viii, 567 p. : \|b il. ; \|c 24 cm.
650		4	\|a Computer architecture.
650		4	\|a Arquitectura de computadoras.
650		4	\|a Software engineering.
650		4	\|a Ingeniería de software.
650		4	\|a Programs-Specification.
650		4	\|a Programas-Especificación.
650		4	\|a Programs-Verification.
650		4	\|a Programas-Verificación.
700	1		\|9 536 \|a Antsaklis, Panos \|e ed.
700	1		\|9 9122 \|a Kohn, Wolf, \|e ed.
942			\|c LIBRO
945			\|a MCR \|d 2012-03-08
490			\|a Lecture notes in computer science ; \|v v. 999 \|a LNCS ; \|v v. 999
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__999_000000000000000 \|7 0 \|9 5201 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e Asoc. Coop. FAMAF \|l 0 \|o C LNCS v. 999 \|p 12309 \|r 2013-08-22 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 3883 \|d 3883