Зображення обкладинки

A Diagrammatic Algebra for Program Logics

Збережено в:
Опубліковано в::arXiv.org (Oct 4, 2024), p. n/a
Автор: Bonchi, Filippo
Інші автори: Alessandro Di Giorgio, Elena Di Lavore
Опубліковано:
Cornell University Library, arXiv.org
Предмети:
Categories
Imperative programming
Programming languages
Cartesian coordinates
Онлайн доступ:Citation/Abstract
Full text outside of ProQuest
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!