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

Результаты поиска
	1.		КнигаFourth workshop "Program semantics, specification and verification: theory and applications", Yekaterinburg, Russia, June 24, 2013 : [affiliated with the] 8th International computer science symposium in Russia : proceedings ; Valery Nepomniaschy, Valery Sokolov (eds.)"Program semantics, specification and verification: theory and application", workshop 4 (2013)2013Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Ик 2014-8/90 (1). Добавить в подборку (удалить)
	2.		КнигаFifth workshop "Program semantics, specification and verification: theory and applications", Moscow, Russia, June 6, 2014 : [affiliated with] 9th International computer science symposium in Russia : proceedings / Valery Nepomniaschy, Valery Sokolov (eds.)"Program semantics, specification and verification: theory and application", workshop 5 (2014)2014Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Ик 2014-8/240 (1). Добавить в подборку (удалить)
	3.		КнигаSecond Workshop "Program semantics, specification and verification: theory and applications", St. Petersburg, Russia, June 12-13, 2011 : proceedings / 6th Inter. computer science symp. in Russia ; Valery Nepomniaschy, Valery Sokolov (eds.)"Program semantics, specification and verification: theory and application", workshop 2 (2011)2011Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Ик 2011-7/1352 (1). Добавить в подборку (удалить)
	4.		Книга9th workshop "Program semantics, specification and verification: theory and applications" dedicated to the memory of B. A. Trakhtenbrot, M. I. Dekhtyar, and M. K. Valiev (Yaroslavl, Russia, June 21-22, 2018) : 9th Workshop PSSV : proceedings / Nikolay Shilov, Vladimir Zakharov (eds.)"Program semantics, specification and verification: theory and application", workshop 9 (2018)2018Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Ик 2018-7/1155 (1). Добавить в подборку (удалить)
	5.		КнигаThird Workshop "Program semantics, specification and verification: theory and applications", Nizhni Novgorod, Russia, July 1-2, 2012 : proceedings / 7th Intern. computer science symp. in Russia ; Valery Nepomniaschy, Valery Sokolov (eds.)"Program semantics, specification and verification: theory and application", workshop 3 (2012)2012Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Ик 2012-7/1608 (1). Добавить в подборку (удалить)
	6.		КнигаСеминар "Семантика, спецификация и верификация программ: теория и приложения" : труды семинара / 5-й Международный симпозиум по компьютерным наукам в России, 14-15 июня 2010, Казань, Россия ; под ред. В.А. Непомнящего и В.А. Соколова"Семантика, спецификация и верификация программ: теория и приложения", семинар (2010)2010Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2011-3/17882 (2). Добавить в подборку (удалить)
	7.		КнигаProgram semantics, specification and verification: theory and applications : X Workshop PSSV, July 1-2, 2019, Novosibirsk, Akademgorodok, Russia : abstracts / A. P. Ershov institute of informatics systems SB RAS, Ministry of science and higher education of the Russian Federation, Novosibirsk state university ; V. Zakharov [et al.] (eds.)2019Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Ик 2019-8/209 (1). Добавить в подборку (удалить)

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

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

e-mail: office@nlr.ru