[Вып.] 152 : Теория вычислений и языки спецификаций; Вычислительные системы

Մատենագիտական մանրամասներ
Parent link:	Вычислительные системы: сборник научных трудов/ Академия наук СССР (АН СССР), Сибирское отделение (СО), Институт математики. [Вып.] 152 : Теория вычислений и языки спецификаций.— , 1964-2008
Այլ հեղինակներ:	Ершов Ю. Л. (научный руководитель), Гончаров С. С.
Լեզու:	ռուսերեն
Հրապարակվել է:	1995
Խորագրեր:	Математическая логика Языки моделирования > (вычислительная математика) теория вычисления математическая логика семантическое программирование научные труды алгоритмы
Ձևաչափ:	Գիրք
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=481

Նմանատիպ նյութեր