|
|
|
|
| LEADER |
00000nam a22000007a 4500 |
| 003 |
AR_CdUFM |
| 005 |
20190408185031.0 |
| 008 |
080731s1996 gw|||||| || 00| 0 eng |
| 020 |
|
|
|a 3540619291
|
| 040 |
|
|
|a AR_CdUFM
|c AR_CdUFM
|
| 245 |
0 |
0 |
|a Formal methods for industrial applications :
|b specifying and programming the steam boiler control /
|c edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack.
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c 1996.
|
| 300 |
|
|
|a vii, 509 p. :
|b il. ;
|c 24 cm. +
|e 1 CD-ROM
|
| 650 |
|
4 |
|a Programming techniques.
|
| 650 |
|
4 |
|a Programación-Técnicas.
|
| 650 |
|
4 |
|a Sistemas distribuidos.
|
| 650 |
|
4 |
|a Distributed systems.
|
| 650 |
|
4 |
|a Ingeniería de software.
|
| 650 |
|
4 |
|a Software engineering.
|
| 650 |
|
4 |
|a Lenguajes de programación-Definiciones formales y teoría.
|
| 650 |
|
4 |
|a Programming languages-Formal definitions and theory.
|
| 650 |
|
4 |
|a Programas-Especificación.
|
| 650 |
|
4 |
|a Programs-Specification.
|
| 650 |
|
4 |
|a Programas-Verificación.
|
| 650 |
|
4 |
|a Programs-Verification.
|
| 650 |
|
4 |
|a Administración de sistemas de computación y de información.
|
| 650 |
|
4 |
|a Management of computing and information systems.
|
| 700 |
1 |
|
|9 68
|a Abrial, Jean-Raymond,
|d 1938-
|e ed.
|
| 700 |
1 |
|
|a Börger, Egon,
|d 1946-
|e ed.
|9 1886
|
| 700 |
1 |
|
|9 9621
|a Langmaack, Hans,
|e ed.
|d 1934-,
|
| 942 |
|
|
|c LIBRO
|2
|
| 942 |
|
|
|c CD_DVD
|2
|
| 945 |
|
|
|a MCR
|d 2011-05-17
|
| 490 |
|
|
|a Lecture notes in computer science ;
|v v. 1165
|a LNCS ;
|v v. 1165
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 C_LNCS_V__1165_000000000000000
|7 0
|9 10446
|a MMA
|b MMA
|c LN
|d 2008-06-09
|e FOMEC/Comp.
|l 0
|o C LNCS v. 1165
|p 14962
|r 2013-08-23 00:00:00
|w 2008-06-09
|y LIBRO
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 C_LNCS_V__1165_000000000000000
|7 0
|9 10447
|a MMA
|b MMA
|c LN
|d 2008-06-09
|l 0
|o C LNCS v. 1165
|p 14962CD
|r 2013-08-23 00:00:00
|w 2008-06-09
|y CD_DVD
|z Solicitar el CD-ROM en SECCION PRESTAMO.
|
| 999 |
|
|
|c 8177
|d 8177
|
