Жуков - Методы верификации программ (1185144), страница 2
Текст из файла (страница 2)
-. 0 3 / "0 ;/< : ! " * . < ( 1 (0 0 ( 0 4 C 4 . ( D :0 / ( * + + ( ++ 0 /* . ( + ; / . ( + C . ++ + + D ( $ ;* / /< ) ' 3230 3 0 0 0 0 0 2 0 2 0 3 ' 0 '3 30 3 0 0 0 0 3 ' 0 2 " ; *)" A ! # A # A # A # A $ A [ * %!0 ( 0 / /<* ): "): $ ): # )0 ' ' 0 ' 0 ' 0 2 0 2 2 0 2 : # ) ' 0 'C D 0 C D ' 0 C D ' 0 2 C #D ½ ½, ' 0 2 0 2 2 0 2 : # ) C &D ' 0 2 2 2 = 0 4 0 . 0 4 0 ' 0 2 2: # ) ' 0 C 'D1 .
* %!0 ( C 'D ( 0 " C &D- (* C 'D ' 332 0 3 0 0 0 0 3 0 0 2 0 2 2 '3 30 3 0 0 0 0 3 :( * % 3 3 0 2 0 2 2 0 0 0 3 0 0 0 3 ! 0 0 0 0 3 0 0 0 00 0 3 0 ; C 'D 0 : * C D A C #D " R C &D ( 0 0 . 0 2 0 2 S 0 "/< * " :( /<*%)0 0 2 0 2 0 2 0 2 0 0 2 0 2 C ,D2 3 " 0 0 2 2 C ,D ( C &D0 0 !0 0 2 0 2 ( < /< )44 20 4 0 2 V" ( ! 0 % C ,D ( /< ) 4 4 2 0 4 0 2 0202 42 3 42040:0 0 /" 4 0 4 /< ) 02 00 24 0 4 Z 4 42 22 C ZDN C ZD ! /< 0 2 0 2 * % - C ZD /<* )40 2 4 2 0 20 0 4 2 - / ( 0 4 % C ZD /< ) 4 4 2 0 4 0 2 402022 3 4 20 2 0 4 0 2 02 - %0 0 0 % C ,D 3VZ7 S V + >1?0 10 +Z3895+7 \ 8956H]^ >?@ABACDEAFG FB H@FI@DJK WLL_GK6`]GI]a FMbI_Gc]9G deL0 ++3456,#7 f 45665 LDEM?JDEACDN EM?F@O FB CFJHPEDEAFG 4Hg95hi_II0 +,#+.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
