Подробности: Program semantics, specification and verification: theory and applications , X Workshop PSSV, July 1-2, 2019, Novosibirsk, Akademgorodok, Russia , abstracts

Книга

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.)

Автор (Вторич.): Zacharov, Vladimir Evgen'evič (1939-) -- РедакторОрганизация (Альтер.): "Program semantics, specification and verification: theory and application", workshop 10 (2019);A. P. Ershov informatics conference 12 (2019)Организация (Вторич.): A.P. Ershov institute of informatics systems -- Издающая организацияЗаглавие обложки: : PSI 19. 12th A. P. Ershov informatics conferenceПеревод заглавия, сделанный каталогизатором: : 12-й семинар "Семантика, спецификация и верификация программ: теория и приложения"Язык: английский.Выходные данные: Novosibirsk : A. P. Ershov inst. of informatics systems SB RAS, 2019Физическая характеристика: VIII, 38 с. : ил. ; 29 см.ISBN: 978-5-4437-0918-5 Серия: PSI conference series Примечания: На обл.: PSI 19. 12th A. P. Ershov informatics conference.Библиография: Библиогр. в конце отд. ст..Предметная рубрика - Тема: Программирование(компьют.) -- Съезды, совещания и т.п Другие классификации: З973.2-018я431(2) Тип экземпляра: Книга

Экземпляры
Тип экземпляра	Текущая библиотека	Шифр хранения	Кол-во копий	Статус	Срок возврата	Штрих-код
Книга	РНБ (Московский) Иностранный книжный фонд	Ик 2019-8/209 (Просмотр полки(Открывается ниже))	КН-П-5292	Доступно		1-2908450

На обл.: PSI 19. 12th A. P. Ershov informatics conference

По пред.изд. 2018г

Библиогр. в конце отд. ст.