-
1781
-
1782
-
1783
A probabilistic relational model and algebra.
الحاوية / القاعدة ACM transactions on database systems.مقال -
1784
Non-deterministic expressions and predicate transformers.
الحاوية / القاعدة Information processing letters.مقال -
1785
A refinement calculus for software components and architectures.
الحاوية / القاعدة Software engineering notes.مقال -
1786
-
1787
-
1788
-
1789
-
1790


