Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)
BjørnerD.(Dines), M. Broy, I.V Pottosin
- 出版社
- Springer-Verlag
- 発売日
- 1993-01-01
- ISBN
- 9783540573166