Fundamentals of algebraic specification /

Bibliographic Details
Main Author:	Ehrig, Hartmut, 1944-
Other Authors:	Mahr, Bernd, 1945-
Format:	Book
Published:	Berlin : Springer, 1985-1990.
Series:	EATCS monographs on theoretical computer science ; v. 6, 21
Subjects:	Lógica y significado de programas. Lógica matemática. Lenguajes formales. Requerimientos. Especificaciones. Logics and meanings of programs. Mathematical logic. Formal languages. Requirements. Specifications.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20160908121935.0
008	101020m19851990gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 3540137181 (v.1)
020			\|a 3540517995 (v.2)
040			\|a AR_CdUFM \|c AR_CdUFM
100	1		\|9 4714 \|a Ehrig, Hartmut, \|d 1944-
245	1	0	\|a Fundamentals of algebraic specification / \|c Hartmut Ehrig, Bernd Mahr.
260			\|a Berlin : \|b Springer, \|c 1985-1990.
300			\|a 2 v. : \|b il. ; \|c 25 cm.
490	0		\|a EATCS monographs on theoretical computer science ; \|v v. 6, 21
500			\|a La biblioteca posee v. 1 y 2.
504			\|a Incluye bibliografía e índice.
505	0		\|a v. 1. Equations and initial semantics -- v. 2. Module specifications and constraints.
650		4	\|a Lógica y significado de programas.
650		4	\|a Lógica matemática.
650		4	\|a Lenguajes formales.
650		4	\|a Requerimientos.
650		4	\|a Especificaciones.
650		4	\|a Logics and meanings of programs.
650		4	\|a Mathematical logic.
650		4	\|a Formal languages.
650		4	\|a Requirements.
650		4	\|a Specifications.
700	1		\|9 10666 \|a Mahr, Bernd, \|d 1945-
942			\|c LIBRO \|2
945			\|a MCR \|d 2011-06-28
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_F3_E33_V1 \|7 0 \|9 1651 \|a MMA \|b MMA \|c 4 \|d 2008-06-09 \|e CIEM \|l 0 \|o C F3 E33 v.1 \|p 10589 \|r 2023-01-24 00:00:00 \|w 2008-06-09 \|y LIBRO
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_F3_E33_V2 \|7 0 \|9 1652 \|a MMA \|b MMA \|c 4 \|d 2008-06-09 \|e CIEM \|l 0 \|o C F3 E33 v.2 \|p 10590 \|r 2023-01-24 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 1411 \|d 1411