Z notation
The Z notation /ˈzɛd/ is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general.
Z notation
英语百科
- finitely generated field的意思
- finitely generated flat module的意思
- finitely generated free module的意思
- finitely generated free modules的意思
- Finitely Generated Group的意思
- Finitely generated ideal的意思
- finitely generated left ideal的意思
- Finitely generated module的意思
- Finitely generated object的意思
- finitely generated projective modules的意思
- finitely generated projective modulus的意思
- finitely generated right ideal的意思
- Finitely generated ring的意思
- finitely generated semigroup的意思
- Finitely presented的意思
- finitely presented functor的意思
- Finitely presented group的意思
- Finitely presented module的意思
- finitely representable的意思
- finitely separated positions的意思
- finitely valued function的意思
- finite mapping的意思
- finite Markov chain的意思
- finite Markov chains的意思
- finite Markovian queue的意思