000 nam a22 7a 4500
999 _c142098
_d142096
005 20180625092345.0
008 180625b at ||||| |||| 00| 0 eng d
020 _a0201416247
050 0 4 _aQA76.6
_bD76 1989
100 1 _aDromey, Geoff
245 1 0 _aProgram derivation
_b: the development of programs from specifications
_c/ Geoff Dromey.
250 _a1a ed.
260 _aSydney, Australia :
_bAddison-Wesley Publishing Company,
_cc1989
300 _axvi, 630 p. :
_bil. ;
_c23 cm.
490 0 _aInternational computer science series.
504 _aIncluye bibliografía e índice
650 7 _2lemb
_aProgramación (Computadores)
942 _2lcc
_cLIB