Author books / Книги автора Dines Bjørner (auth.) Dines Bjørner Manfred Broy Igor V. Pottosin (eds.) » Page 2 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Dines Bjørner (auth.) Dines Bjørner Manfred Broy Igor V. Pottosin (eds.) » Page 2

book Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

pdf

Author: Dines Bjørner (auth.) Dines Bjørner Manfred Broy Igor V. Pottosin (eds.)
Language: English
Year: 1996

00

27.01.2024

0

0

book Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

pdf

Author: Yu. L. Ershov (auth.) Dines Bjørner Manfred Broy Igor V. Pottosin (eds.)
Language: English
Year: 1993

00

27.01.2024

0

0

book Baltic Computer Science: Selected Papers

Baltic Computer Science: Selected Papers

pdf

Author: G. Mints E. Tyugu (auth.) Janis Bārzdinš Dines Bjørner (eds.)
Language: English
Year: 1991

00

27.01.2024

0

0

book TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

pdf

Author: Dines Bjørner (auth.) J. Díaz F. Orejas (eds.)
Language: English
Year: 1989

00

27.01.2024

0

0

book VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

pdf

Author: Peter Lucas (auth.) Dines Bjørner Cliff B. Jones Mícheál Mac an Airchinnigh Erich J. Neuhold (eds.)
Language: English
Year: 1987

00

27.01.2024

0

0

book Towards a Formal Description of Ada

Towards a Formal Description of Ada

pdf

Author: Dines Bjørner Ole Nybye Oest (auth.) D. Bjørner O. N. Nest (eds.)
Language: English
Year: 1980

00

27.01.2024

0

0

book Logics of Specification Languages

Logics of Specification Languages

pdf

Author: Dines Bjørner Martin C. Henson (auth.) Prof. Emeritus Dr. Dines Bjørner Prof. Martin C. Henson (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

pdf

Author: Igor V. Pottosin (auth.) Dines Bjørner Manfred Broy Alexandre V. Zamulin (eds.)
Language: English
Year: 2001

00

27.01.2024

0

0

book Logics of Specification Languages

Logics of Specification Languages

pdf

Author: Dines Bjørner Martin C. Henson (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Software Engineering 2: Specification of Systems and Languages

Software Engineering 2: Specification of Systems and Languages

pdf

Author: Dines Bjørner
Language: English
Year: 2006

00

27.01.2024

0

0