I. P. · I.V. · I. V. Pottosin · V.P.
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings | 978-3-540-57316-6 (3-540-57316-X) | 2008 | Manfred Broy · Dines Bjorner | |
| Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993: Proceedings | 978-0-387-57316-8 (0-387-57316-X) | 1993 | Dines Bjorner · Manfred Broy | |
| Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings | 978-3-540-62064-8 (3-540-62064-8) | 2008 | Dines Bjorner · Manfred Broy |