Постусловие
задает новые ограничения на эти переменные после выполнения оператора и обозначается как {Q}.
всегда начинается с нуля, в ней запрещено появление цифр 8 и 9.
задает новые ограничения на эти переменные после выполнения оператора и обозначается как {Q}.
содержат только цифры.
протокол передачи гипертекста.