000 | 01703nam a22003497a 4500 | ||
---|---|---|---|
008 | 241025b |||||||| |||| 00| 0 eng d | ||
020 | _a3540539611 | ||
040 |
_aFIE _bEspañol |
||
041 | _2Inglés | ||
080 | _a004.42 NEU | ||
245 |
_aFormal descriptions of Programming Concepts / _cedited by Erich J. Neuhold and Manfred Paul |
||
260 |
_aBerlín : _bSpringer-Verlag, _c1994 |
||
300 |
_a507 páginas : _b27 figuras y 33 tablas ; _c18 x 26 centímetros |
||
336 |
_2rdacontent _atexto |
||
337 |
_2rdamedia _asin medio |
||
338 |
_2rdacarrier _avolumen |
||
505 | _aA practical introduction to denotational semantics / Peter D. Moses - Inductive and operational semantics / Egidio Artesiano - Specification and transformation Metodology aspects of the Vienna development method. Towards a meaning of M in VDM / Dines Bjorner - Algebraic specification: semantics, Parametrization and refinment / Martin Wirsing - Formalization of distributed, concurrent, reactive systems / Manfred Broy - Introduction to program verification / Krzystof R. Apt and Ernst-Rüdiger Olderog - Typeful programming / Luca Cardelli | ||
650 | 0 |
_9389 _aINFORMÁTICA |
|
650 | 0 |
_9392 _aPROGRAMACIÓN |
|
700 |
_aNeuhold, Erich J. _eeditor |
||
700 |
_aPaul, Manfred _eeditor |
||
700 |
_aApt, Krzysztof R. _eContribución |
||
700 |
_aArtesiano, Egidio _eContribución |
||
700 |
_aBjorner, Dines _eContribución |
||
700 |
_aBroy, Manfred _eContribución |
||
700 |
_aCardelli, Luca _eContribución |
||
700 |
_aMoses, Peter D. _eContribución |
||
700 |
_aOlderog, Ernst-Rüdiger _eContribución |
||
700 |
_aWirsing, Martin _eContribución |
||
999 |
_c49106 _d49106 |