|
|
|
|
LEADER |
00000nam a22000007a 4500 |
003 |
AR_CdUFM |
005 |
20160908123313.0 |
008 |
110517s1996 g||||| |||| 00| 0 eng d |
020 |
|
|
|a 3540616292
|
040 |
|
|
|a AR_CdUFM
|c AR_CdUFM
|
111 |
2 |
|
|a Workshop on Specification of Abstract Data Types
|n (11º :
|d 1995 :
|c Oslo, Norway)
|
245 |
1 |
0 |
|a Recent trends in data type specification /
|c edited by Magne Haveraaen, Olaf Owe, Ole-Johan Dahl.
|
260 |
|
|
|a Berlin :
|b Springer,
|c 1996.
|
300 |
|
|
|a viii, 550 p. :
|b il. ;
|c 24 cm.
|
490 |
0 |
|
|a Lecture notes in computer science ;
|v v. 1130
|
490 |
0 |
|
|a LNCS ;
|v v. 1130
|
650 |
|
4 |
|a Software-Requerimientos y especificaciones.
|
650 |
|
4 |
|a Software-Requeriments and specifications.
|
650 |
|
4 |
|a Semántica de lenguajes de programación.
|
650 |
|
4 |
|a Semantics of programming languages.
|
650 |
|
4 |
|a Software-Herramientas y técnicas.
|
650 |
|
4 |
|a software-Tools and techniques.
|
650 |
|
4 |
|a Ingeniería de software.
|
650 |
|
4 |
|a Software engineering.
|
650 |
|
4 |
|a Lenguajes de programación-Descripciones formales y teoría.
|
650 |
|
4 |
|a Programming languages-Formal definitions and theory.
|
650 |
|
4 |
|a Programas-Especificación.
|
650 |
|
4 |
|a Programs-Specification.
|
700 |
1 |
|
|a Haveraaen, Magne,
|e ed.
|d 1958-,
|
700 |
1 |
|
|9 12841
|a Owe, Olaf,
|e ed.
|
700 |
1 |
|
|9 3768
|a Dahl, Ole-Johan,
|e ed.
|d 1931-,
|
942 |
|
|
|c LIBRO
|2
|
945 |
|
|
|a MCR
|d 2011-05-17
|
952 |
|
|
|0 0
|1 0
|4 0
|6 C_LNCS_V__1130_000000000000000
|7 0
|9 10629
|a MMA
|b MMA
|c LN
|d 2008-06-09
|e FOMEC/Comp.
|l 0
|o C LNCS v. 1130
|p 15154
|r 2010-11-24 00:00:00
|w 2008-06-09
|y LIBRO
|
999 |
|
|
|c 8338
|d 8338
|