Файл:Separation logic store and heap.svg
Размер этого PNG-превью для исходного SVG-файла: 744 × 386 пкс. Другие разрешения: 320 × 166 пкс | 640 × 332 пкс | 1024 × 531 пкс | 1280 × 664 пкс | 2560 × 1328 пкс.
Исходный файл (SVG-файл, номинально 744 × 386 пкс, размер файла: 16 КБ)
Краткое описание
править| Описание | Пример памяти и кучи |
|---|---|
| Источник | http://chrisposkitt.com/files/teaching/SV_SeparationLogic_1-2.pdf |
| Время создания | 9 декабря 2015 года |
| Автор или правообладатель | Роман Сузи |
Лицензирование
правитьЯ, владелец авторских прав на это произведение, публикую его на условиях следующей лицензии.
|
История файла
Нажмите на дату/время, чтобы посмотреть файл, который был загружен в тот момент.
| Дата/время | Миниатюра | Размеры | Участник | Примечание | |
|---|---|---|---|---|---|
| текущий | 17:09, 9 декабря 2015 | | 744 × 386 (16 КБ) | РоманСузи (обсуждение | вклад) | {{Изображение | описание = Пример памяти и кучи | источник = http://chrisposkitt.com/files/teaching/SV_SeparationLogic_1-2.pdf | время создания = 9 декабря 2015 года | ав… |
Вы не можете перезаписать этот файл.
Использование файла
Следующая страница использует этот файл:
