Theory of Program Structures: Schermes, Semantics, Verification - Greibach Sheila Vezi publicația: Revue Roumaine de Mathematiques Pures et Appliquees Anul publicaţiei: 1980Referinţă bibliografică pentru nr. revistă: xxv-3; anul 1980 Paginaţia: 486-486 Navigare în nr. revistă: |< < 16 / 23 > >| Realizatori:  DAVIDOVICIU, Adrian (autor) Descriptori:  Matematică