,

Formal methods---selected historical references

, и .
UMCS-92-12-2. University of Manchester, (1992)

Метаданные

тэги

Пользователи данного ресурса

  • @n770

Комментарии и рецензии