specificatii
|
LDR | 00142nz a2200073n 4500 | |
---|---|---|
001 | 196087 | |
040 | $b rum $f ASE | |
150 | $a specificatii | |
450 | $a specifications | |
450 | $a specifications |
Lucrări:
3 lucrari in 2 publicatii in 1 limbi
2 records Page 1 of 1
- 1
Software engineering : vol. 2 : Specification of systems and languages / D. Bjorner
de:
Bjorner, Dines
(Text tipărit)
Software engineering : vol. 1 : Abstraction and modelling / D. Bjorner
de:
Bjorner, Dines
(Text tipărit)
Subiecte
tehnica programarii
programarea calculatoarelor
langages de programmation
programmation d'ordinateur
carte straina
modele
specificatii
computer programs
programmes d'ordinateur
programe de calculator
software engineering
computer programming languages
models
matematica
computer programming
mathematics
linguistique
lingvistica
genie logiciel
limbaje de programare
semantica
modeles
linguistics
mathematiques
specifications