|
|
|
|
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
|