1.
 |  | Title: Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia June 25-28, 1996: Proceedings (Lecture Notes in Computer Science, 1181)
by Dines Bjorner, Manfred Broy, Igor V. Pottosin, D. Bjrner
ISBN: 3540620648
Publisher: Springer Verlag
Pub. Date: April, 1997
List Price: $98.00
Amazon.com Price: $98.00 |
2.
|  | Title: Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993: Proceedings
by D. Bjrner, Igor V. Pottosin, Dines Bjorner, M. Broy
ISBN: 038757316X
Publisher: Springer Verlag
Pub. Date: November, 1993
List Price: $82.95
Amazon.com Price: $82.95 |
3.
|  | Title: Formal Specification and Software Development
by Dines Bjorner, D. Bjrner, C. B. Jones
ISBN: 0133290034
Publisher: Prentice Hall
Pub. Date: September, 1982
List Price: $60.20
Amazon.com Price: $60.20 |
4.
|  | Title: Persectives on System Informatics: Revised Papers of the 4th International Andrei Ershov Memorial Conference, Psi 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 (Lecture Notes in Computer Science, 2244)
by Dines Bjorner, Manfred Broy, Alexandre V. Zamulin
ISBN: 354043075X
Publisher: Telos Pr
Pub. Date: April, 2002
List Price: $94.00
Amazon.com Price: $94.00 |
5.
|  | Title: Partial Evaluation and Mixed Computation: Proceedings of the Ifip Tc2 Workshop on Partial Evaluation and Mixed Computation Gammel Avernaes, Denmark,
by Dines Bjorner, Andrei P. Ershov, Neil D. Jones, D. Bjrner
ISBN: 0444704914
Publisher: North-Holland
Pub. Date: October, 1988
List Price: $207.50
Amazon.com Price: $207.50 |
