Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
assertion
Связанные издания:
A Method for Compiling and Executing Expressive Assertions
An Assertion Language for Constraint Logic Programs
ASAP - A Simple Assertion Pre-processor
Assertions: A Personal Perspective
Assertions in Modern Software Engineering
Assertion with Constraints for CLP Debugging
Functional and Constraint Logic Programming: Revised Selected Papers/19th International Workshop, WFLP 2010, Madrid, Spain, January 2010