Вид документа : Шифр издания : vr=M761665 Заглавие : Mathematical Structures in Computer Science Выходные данные : Cambridge: Cambridge University Press, 1991 ISSN: 09601295 ГРНТИ : 50.05 Аннотация: Статьи по результатам теоретических исследований в области компьютерных наук, преимущественно, на основе приложения идей математики (алгебры, геометрии, теории категорий и др.) и математической логики к проектированию программного обеспечения. См. : journal link