Обзоры
Отзывов пока нет
Станьте первым, кто оставит отзыв об этой книге и поделится своими мыслями
Войдите, чтобы оставить отзыв
Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
Оценок пока нет