Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
情報なし
- 著者
- Broy, Manfred、 Pottosin, Igor V、Bjorner, Dines
- 出版社
- Springer
- 発売日
- 1993-12-01
- 価格
- 価格未定（税込・書誌情報提供：openBD）
- ISBN
- 9783540480563
発売済み
シリーズの既刊・続刊
- Automata, Languages and Programming : 23rd International Colloquium, Icalp '96, Paderborn, Germany, July 8-12, 1996. Proceedings
- Algorithm Theory - Swat '96 : 5th Scandinavian Workshop on Algorithm Theory, Reykjavik, Iceland, July 1996. Proceedings
- Advances in Databases : 14th British National Conference on Database, Bncod 14 Edinburgh, UK, July 3 - 5, 1996. Proceedings
- Computing and Combinatorics : Second Annual International Conference, Cocoon '96, Hong Kong, June 17-19, 1996. Proceedings