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

Academgorodok

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

Taschenbuch

ISBN-13: 978-3-540-57316-6

ISBN-10: 3-540-57316-X

Springer · 2008
Siehe auch:
1993PaperbackFormal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993: Proceedings (Lecture Notes in Computer Science, 735)