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

Результаты поиска
	1.		КнигаНа пути к автоматической верификации программ на языке C-Light. Смешанная аксиоматическая семантика языка C-Kernel = Towards the automatic verification of C-light programs. Mixed modified axiomatic semantics of C-kernel language / И. В. МарьясовМарьясов, Илья Владимирович (1983-), Автор 2008Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2009-4/17717 (2). Добавить в подборку (удалить)
	2.		КнигаThe mixed axiomatic semantics method = Метод смешанной аксиоматической семантики / I.V. MaryasovMar'jasov, Il'ja Vladimirovič (1983-), Автор2011Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Ик 2012-4/65 (1). Добавить в подборку (удалить)
	3.		КнигаMethods of pharmaceutical analysis = Методы фармацевтического анализа : study aid : [for third-year students of the Chemical and pharmaceutical faculty in the specialty 33.05.01 Pharmacia] / M.A. Maryasov ; Ministry of science and higher education of the Russian Federation, Federal state budgetary educational institution of higher education "Chuvash state university named after I.N. Ulyanov"Mar'jasov, Maksim Andreevič (1988-)2019Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Ик 2019-3/672 (1). Добавить в подборку (удалить)
	4.		КнигаPharmaceutical analysis of anti-infective agents = Фармацевтический анализ противоинфекционных средств : study aid : [for fourth-year students of the Chemical and pharmaceutical faculty in the specialty 33.05.01 Pharmacia] / M. A. Maryasov ; Ministry of science and higher education of the Russian Federation, Federal state budgetary educational institution of higher education "I. N. Ulianov Chuvash state university"Mar'jasov, Maksim Andreevič (1988-)2021Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Ик 2022-3/146 (1). Добавить в подборку (удалить)

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

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

e-mail: office@nlr.ru