З97 П781 Проблемы спецификации и верификации параллельных систем [Текст] = Problems of specification and verification of concurrent systems : сб. науч. тр. / Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики им. А.П. Ершова; Под ред. Непомнящего В.А. - Новосибирск : [б. и.], 1995. - 237 с. : ил Библиогр. в конце ст Рубрики: Вычислительные системы, программное обеспечение Дескрипторы: сб Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/321 Pr869/321 / Pr869/321-02 Zwiers, Job. Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship / J. Zwiers. - Berlin [et al.] : Springer, 1989. - VI,272 p. : Ill. - (Lecture notes in computer science ; 321) Bibliogr.: p. 266-272 Перевод заглавия: Композиционность, параллелизм и частичная корректировка: Теория доказательства сетей процессов и их взаимосвязь Рубрики: Программное обеспечение--ЭВМ Кл.слова (ненормированные): программирование -- семантика -- спецификации Дескрипторы: сб пр -- моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/343 Pr869/343 / Pr869/343-02 Algebraic and logic programming [Text] : intern. workshop, Gaussig, GDR, Nov. 14-18, 1988. Proc. / Ed. by J. Grabowski et al. - Berlin [et al.] : Springer, 1988. - 278 p. : Ill. - (Lecture notes in computer science ; 343). - Bibliogr. at the end of the art Перевод заглавия: Алгебраическое и логическое программирование Рубрики: Логическое программирование Кл.слова (ненормированные): логика программ -- алгебраические спецификации Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/430 Pr869/430 / Pr869/430-02 Stepwise refinement of distributed systems : models, formalisms, correctness. REX workshop, Mook, the Netherlands, May 29-June 2, 1989. Proc. / Ed. by Bakker, J. W. de et al. - Berlin [et al.] : Springer, 1990. - X, 808 p. - (Lecture notes in computer science ; 430). - Bibliogr. at the end of the art Перевод заглавия: Поэтапное усовершенствование распределенных систем Рубрики: Распределенные системы вычислительные--Программное обеспечение Кл.слова (ненормированные): конкурентные системы -- синтаксис -- спецификации Дескрипторы: сб пр -- конф.м Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/717 Pr869/717 / Pr869/717-02 Software engineering - ESEC '93 [Text] : 4th Europ. software engineering conf., Garmisch-Partenkirchen, Germany, Sept. 13-17, 1993. Proc. / Ed.: I. Sommerville, M. Paul. - Berlin [et al.] : Springer, 1993. - XII,516 p. : Ill. - (Lecture notes in computer science ; 717). - Bibliogr. at the end of the art Перевод заглавия: Техника программного обеспечения Рубрики: Программное обеспечение--Вычислительных систем Кл.слова (ненормированные): распределенные информационные системы -- формальные спецификации Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-З 97 I.69 И-З 97 / I.69-02 International workshop on rapid system prototyping (2; 1991; USA). The second International workshop on rapid system prototyping : Shortening the path from specification to prototype. Proceedings, Research Triangle park, N. C., USA, June 11-13, 1991 / Ed. Nick Kanapoulos. - Los Alamitos [et al.] : IEEE computer society press, 1992. - VIII, 201 p. : Ill. - Bibliogr. at the end of the art. - Auth. ind.: p. 201 Перевод заглавия: Труды 2-го международного семинара по системам ускоренного макетирования Рубрики: Компьютеры--Программное обеспечение Кл.слова (ненормированные): операционные системы -- спецификации -- макетирование Дескрипторы: конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Р28 М431/3 Р28 / М431/3-02 Международная фармакопея / Министерство здравоохранения СССР. - 3-е изд. - Женева : Всемирная организация здравоохранения, 1981 - . - 22 см. - Пер. изд. : The international pharmacopoeia. - 3-th edition. - Geneva, 1988. Т.3 : Спецификации для контроля качества фармацевтических препаратов. - 1990. - 435 с. : ил. -
Рубрики: Международная фармакопея Доп.точки доступа: Министерство здравоохранения СССР Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
З 973.2 P93 З 973.2 / P93-02 ВМИ Program semantics, specification and verification : theory and applications : PSI 19 [Text] : 12th A. P. Ershov informatics conference : X workshop PSSV, July 1-2, 2019, Novosibirsk, Akademgorodok, Russia : abstracts / editors V. A. Zakharov [et al.]. - Novosibirsk : A. P. Ershov institute of informatics systems SB RAS : Novosibirsk state university, 2019. - 39 p. : ill. ; 29 см. - (PSI conference series, 12th edition). - Bibliogr. at the end of the reports. - 50 экз. В надзаг.: A. P. Ershov institute of informatics systems SB RAS, Ministry of science and higher education of the Russian Federation, Novosibirsk state university Перевод заглавия: Программные семантики, спецификации и верификация : теория и применение : 10-й семинар
Рубрики: Компьютеры--Программное обеспечение Кл.слова (ненормированные): Компьютеры персональные - Программирование Доп.точки доступа: Zakharov, V. A. \ed.\ Экземпляры всего: 1 02 ВМИ (1) Свободны: 02 ВМИ (1) |