Hoare Logic
Ññûëêà
Äàòà
Îáúåì
â êá.
×èñëî ñòð.
Ñïðàâêà