Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceeding

by Manfred Broy, Dines Bjørner, Igor V. Pottosin

This volume comprises the papers selected for presentation at the international conference on Formal Methods in Programming and Their Applications, held in Academgorodok, Novosibirsk, Russia, June-July 1993. The conference was organized by the Institute of Informatics Systems of the Siberian Division of the Russian Academy of Sciences and was the first forum organized by the Institute which was entirely dedicated to formal methods. The main scientific...

• Format: Paperback
• Language: English
• ISBN: 354057316X
• ISBN13: 9783540573166
• Release Date: October 1993
• Publisher: Springer
• Length: 438 Pages
• Weight: 1.38 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"