Ваш поиск дал 7 результатов

Результаты поиска
	1.		КнигаUSL - the language of natural state machines = Язык машин естественных состояний USL / I.S. AnureevAnureev, I.S., Автор2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Ик 2005-4/65 (1). Добавить в подборку (удалить)
	2.		КнигаЯзык Atoment: стандартная библиотека = The Atoment language: standard library / И.С. АнуреевАнуреев, Игорь Сергеевич, Автор 2010Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2011-4/5178 (2). Добавить в подборку (удалить)
	3.		КнигаКонцептуальный базис трехуровневого метода верификации С# программ : Conceptual basis of three-level method of C# program verification / И. С. АнуреевАнуреев, Игорь Сергеевич 2013Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2014-4/4468 (3). Добавить в подборку (удалить)
	4.		КнигаЯзык машин естественных состояний USL / И.С. АнуреевАнуреев, Игорь Сергеевич, Автор 2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2006-4/21876 (2). Добавить в подборку (удалить)
	5.		КнигаЯзык Atoment: синтаксис и семантика = The atoment Language: syntax and semantics / И.С. АнуреевАнуреев, Игорь Сергеевич, Автор2010Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2011-4/5068 (2). Добавить в подборку (удалить)
	6.		КнигаСистемы переходов, ориентированные на разработку средств спецификации и верификации программных систем = Transition systems oriented to development of software systems specification and verification tools / И. С. АнуреевАнуреев, Игорь Сергеевич2012Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	7.		КнигаTowards CNepomnjaščij, Valerij Aleksandrovič (1939-), Автор ; Anureev, I. S., Автор ; Dubranovskij, I. V., Автор ; Promskij, Aleksej Vladimirovič, Автор2005Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Ик 2007-4/3 (1). Добавить в подборку (удалить)

Связаться с нами:

тел.: 8-800-100-01-96 , 8(812)310-71-37

e-mail: office@nlr.ru