Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings - Lecture Notes in Computer Science 735 (Paperback)Dines Bjorner (editor), Manfred Broy (editor), Igor V. Pottosin (editor)
- We can order this
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 438
Weight: 1390 g
Dimensions: 235 x 155 x 23 mm
Edition: 1993 ed.
You may also be interested in...
Please sign in to write a review