Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993: Proceedings (Lecture Notes in Computer Science, 735)

International

by: Dines Bjorner · Manfred Broy · Igor V. Pottosin

Paperback

ISBN: 978-0-387-57316-8

ISBN-10: 0-387-57316-X

Springer Verlag · 1993
See also:
2008TaschenbuchFormal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science, Band 735)