Вы здесь

Главная

стандартный

Связанные издания:

An ASM Dynamic Semantics for Standard ML
Experiments on self-applicability in the C-light verification system
On the need to specify and verify standard functions
Алгоритмизация и программирование статистических задач с помощью стандартных процедур
Верификция Си-программ: объяснение условий корректности и стандартная библиотека
Разработка эффективных программ стандартных функций floor, isqrt и ilog2 по технологии предикатного программирования
Эквивалентные преобразования стандартных схем
Язык Atoment: стандартная библиотека