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,... This description may be from another edition of this product.

• 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"