著者典拠情報

著者標目形：
Pottosin, I. V.
属性：
Personal
から見よ参照形：
Pottosin, Igorʹ Vasilʹevich
Поттосин, И. В.
注記：
Ershov, A. P. Rukovodstvo k polʹzovanii︠u︡ sistemoĭ "ALʹFA", 1968
Teorii︠a︡ i praktika programnogo obespechenii︠a︡ ĖVM, 1981: v. 1-2, t.p. (I. V. Pottosina) colophon (Igori︠a︡ Vasilʹevicha Pottosina)
Formal methods in programming and their applications, 1993: CIP t.p. (Igor V. Pottosin) data sheet (b. 2-21-33)
EDSRC:Теория и практика системного программирования : сборник научцных трудов / под редакцией В.Е. Котова, И.В. Поттосина (ВЦ СО АН СССР, 1977)
著者典拠ID：
DA07770957


1.

図書
図書
1. Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, proceedings
Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)
出版情報: Berlin : Springer-Verlag, c1996
シリーズ名: Lecture notes in computer science ; 1181
所蔵情報: 図書館
2.

図書
図書
2. Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings (: gw ; : us)
Dines Bjørner, Manfred Broy, Igor V. Pottosin,(eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 735
所蔵情報: 図書館