|
|
|
|
| LEADER |
00000nam a22000007a 4500 |
| 003 |
AR_CdUFM |
| 005 |
20170710142116.0 |
| 008 |
110517s1995 gw||||| |||| 00| 0 eng d |
| 020 |
|
|
|a 354059132X
|
| 040 |
|
|
|a AR_CdUFM
|c AR_CdUFM
|
| 111 |
2 |
|
|a Workshop on Specification of Abstract Data Types
|n (10º :
|d 1994 :
|c Santa Margherita, Italy)
|
| 245 |
1 |
0 |
|a Recent trends in data type specification /
|c edited by Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki.
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c 1995.
|
| 300 |
|
|
|a viii, 523 p. :
|b il. ;
|c 24 cm.
|
| 650 |
|
4 |
|a Software-Requerimientos y especificaciones.
|
| 650 |
|
4 |
|a Software-Requirements and specifications.
|
| 650 |
|
4 |
|a Programas-Especificación.
|
| 650 |
|
4 |
|a Programs-Specification.
|
| 650 |
|
4 |
|a Semantica 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 Software-Diseño.
|
| 650 |
|
4 |
|a Software-Design.
|
| 650 |
|
4 |
|a Lenguajes de programación-Definiciones formales y teoría.
|
| 650 |
|
4 |
|a Programming languages-Formal definitions and theory.
|
| 700 |
1 |
|
|9 720
|a Astesiano, Egidio,
|d 1939-
|e ed.
|
| 700 |
1 |
|
|9 14172
|a Reggio, Gianna,
|e ed.
|d 1957-,
|
| 700 |
1 |
|
|a Tarlecki, Andrzej,
|e ed.
|d 1956-,
|
| 942 |
|
|
|c LIBRO
|2
|
| 945 |
|
|
|a MCR
|d 2012-02-29
|
| 490 |
|
|
|a Lecture notes in computer science ;
|v v. 906
|a LNCS ;
|v v. 906
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 C_LNCS_V__906_000000000000000
|7 0
|9 11021
|a MMA
|b MMA
|c LN
|d 2008-06-09
|e FOMEC/Comp.
|l 0
|o C LNCS v. 906
|p 15594
|r 2013-08-21 00:00:00
|w 2008-06-09
|y LIBRO
|
| 999 |
|
|
|c 8631
|d 8631
|
