KORSO : methods, languages and tools for the construction of correct software. Final Report /

Bibliographic Details
Other Authors:	Broy, Manfred, 1949- (ed.,), Jähnichen, Stefan (ed.)
Format:	Book
Published:	Berlin : Springer, 1995.
Series:	Lecture notes in computer science ; LNCS ; v. 1009
Subjects:	Ingeniería de software. Software engineering. Lenguajes de programación. Programming languages. Lógica y significado de programas. Logics and meanings of programs.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20190806163844.0
008	111219s1995 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 3540605894
040			\|a AR_CdUFM \|c AR_CdUFM
245	0	0	\|a KORSO : \|b methods, languages and tools for the construction of correct software. Final Report / \|c edited by Manfred Broy, Stefan Jähnichen.
260			\|a Berlin : \|b Springer, \|c 1995.
300			\|a x, 449 p. : \|b il. ; \|c 24 cm.
490		0	\|a Lecture notes in computer science ;
490		0	\|a LNCS ; \|v v. 1009
650		4	\|a Ingeniería de software.
650		4	\|a Software engineering.
650		4	\|a Lenguajes de programación.
650		4	\|a Programming languages.
650		4	\|a Lógica y significado de programas.
650		4	\|a Logics and meanings of programs.
700	1		\|a Broy, Manfred, \|d 1949- \|e ed., \|9 2276
700	1		\|9 8185 \|a Jähnichen, Stefan, \|e ed.
942			\|c LIBRO \|2
945			\|a AB
945			\|a MCR \|d 2011-12-19
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__1009_000000000000000 \|7 0 \|9 10992 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e FOMEC/Comp. \|l 0 \|o C LNCS v. 1009 \|p 15579 \|r 2013-08-22 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 8604 \|d 8604