-  -  - . ˳
. ˳
<<   >

[]

(. warrant--, ) - , - . - - ( ' ), , . . - - , . , - 쳺, , , 䳿 .

Բֲ [ ]

(. program verifica-tion) - ( ) - ( ).

в []

( , varians (va-riantis) - ) - 1. , - (., . , . ). 1. - -, .

в [ ]

- , - ' , - -- - .

вֲ [ ]

- - , - , . ʳ (). ., - . '- , , -. - ( -, , - ) , - - 䳺 . .. - .

вֲ (]

- 1. , -. - , -. 2. - - -, - ().

Ҳ ˲ [ ]

- , () .

ҲͲ [ ]

- -, -- - .

Ҳ []

- 1. ( ) - , - , ' - . . - . . , . . , - -. , . , -. 2. (, ) .

Ҳ [ ]

- () - '- .



 
,
Studentu5.com : , ,