-
1
-
2
-
3
-
4
-
5Perspectives of System Informatics [electronic resource] : 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised... Perspectives of System Informatics [electronic resource] : 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised...by Bjørner, Dines. editor., Broy, Manfred. editor., Zamulin, Alexandre V. editor., SpringerLink (Online service)
Published 2001Texto bibliotecaCOLPOS -
6Perspectives of System Informatics [electronic resource] : 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised... Perspectives of System Informatics [electronic resource] : 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised...by Bjørner, Dines. editor., Broy, Manfred. editor., Zamulin, Alexandre V. editor., SpringerLink (Online service)
Published 2001Texto bibliotecaCOLPOS -
7Perspectives of System Informatics [electronic resource] : Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings /... Perspectives of System Informatics [electronic resource] : Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings /...by Bjørner, Dines. editor., Broy, Manfred. editor., Pottosin, Igor V. editor., SpringerLink (Online service)
Published 1996Texto bibliotecaCOLPOS -
8Perspectives of System Informatics [electronic resource] : Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings /... Perspectives of System Informatics [electronic resource] : Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings /...by Bjørner, Dines. editor., Broy, Manfred. editor., Pottosin, Igor V. editor., SpringerLink (Online service)
Published 1996Texto bibliotecaCOLPOS -
9VDM '87 VDM — A Formal Method at Work [electronic resource] : VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings / VDM '87 VDM — A Formal Method at Work [electronic resource] : VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings /by Bjørner, Dines. editor., Jones, Cliff B. editor., Mac an Airchinnigh, Mícheál. editor., Neuhold, Erich J. editor., SpringerLink (Online service)
Published 1987Texto bibliotecaCOLPOS -
10VDM '87 VDM — A Formal Method at Work [electronic resource] : VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings / VDM '87 VDM — A Formal Method at Work [electronic resource] : VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings /by Bjørner, Dines. editor., Jones, Cliff B. editor., Mac an Airchinnigh, Mícheál. editor., Neuhold, Erich J. editor., SpringerLink (Online service)
Published 1987Texto bibliotecaCOLPOS