Постусловие
задает новые ограничения на эти переменные после выполнения оператора и обозначается как {Q}.
Еще термины по предмету «Программирование»
Символьный (литерный) тип
значениями этого типа являются элементы набора литер, определяемого реализацией языка.
HTTP (Hypertext Transfer Protocol)
протокол передачи гипертекста.
- JAR files (.jar)
- format
- Файл (file)
- Формат (format)
- JAR (Java Архив)
- CIF (Crystallographic Information File)
- EFS (Encrypted File System)
- FEK (File Encryption Key)
- GDF (Geographic Data File)
- FTP (File Transfer Protocol)
- Конвертирование форматов (format conversion)
- CDF (Common Data Format)
- PDF (Portable Document Format
- RTF (Rich Text Format)
- Конвертирование, конвертация (форматов) (format conversion)
- DIF (CASE Data Interchange Format)
- EDIF — Electronic Design Interchange Format
- Распределенная файловая система (distributed file system)
- ASCII data file ( ASCII файл данных )
- Элемент массива (element of a file)
Повышай знания с онлайн-тренажером от Автор24!
- Напиши термин
- Выбери определение из предложенных или загрузи свое
- Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек