Mathematical foundations of computer science /

Bibliographic Details
Corporate Author:	International Symposium on Mathematical Foundations of Computer Science, MFCS Cracow, Poland
Other Authors:	Penczek, Wojciech (ed.), Szatas, Andrzej, 1958- (ed.,)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 1996.
Series:	Lecture notes in computer science ; LNCS ; v. 1113 v. 1113
Subjects:	Computación mediante dispositivos abstractos. Computation by abstract devices. Lenguajes de programación. Programming languages. Matemática discreta. Discrete mathematics. Analisis de algoritmos y problemas de complejida. Analysis of algorithms and problem complexity. Lógica y significado de programas. Logics and meanings of programs. Lógica matemática. Lenguajes formales. Mathematical logic. Formal languages. Ingeniería de software. Software engineering.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20190904140316.0
008	110701s1996 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 3540615504
040			\|a AR_CdUFM \|c AR_CdUFM
111	2		\|a International Symposium on Mathematical Foundations of Computer Science, MFCS \|n (21 : \|d 1996 : \|c Cracow, Poland)
245	1	0	\|a Mathematical foundations of computer science / \|c edited by Wojciech Penczek, Andrzej Szatas.
260			\|a Berlin : \|b Springer, \|c 1996.
300			\|a x, 592 p. ; \|c 24 cm.
650		4	\|a Computación mediante dispositivos abstractos.
650		4	\|a Computation by abstract devices.
650		4	\|a Lenguajes de programación.
650		4	\|a Programming languages.
650		4	\|a Matemática discreta.
650		4	\|a Discrete mathematics.
650		4	\|a Analisis de algoritmos y problemas de complejida.
650		4	\|a Analysis of algorithms and problem complexity.
650		4	\|a Lógica y significado de programas.
650		4	\|a Logics and meanings of programs.
650		4	\|a Lógica matemática.
650		4	\|a Lenguajes formales.
650		4	\|a Mathematical logic.
650		4	\|a Formal languages.
650		4	\|a Ingeniería de software.
650		4	\|a Software engineering.
700	1		\|9 13208 \|a Penczek, Wojciech, \|e ed.
700	1		\|a Szatas, Andrzej, \|d 1958- \|e ed., \|9 16852
942			\|c LIBRO \|2
945			\|a MCR \|d 2011-07-01
490			\|a Lecture notes in computer science ; \|v v. 1113 \|a LNCS ; \|v v. 1113
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__1113_000000000000000 \|7 0 \|9 10685 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e Fomec/Comp. \|l 0 \|o C LNCS v. 1113 \|p 15233 \|r 2010-11-24 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 8393 \|d 8393