Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings: 735 (Lecture Notes in Computer Science)
by Manfred Broy,Dines Bjorner,Igor V. Pottosin
ISBN 13: 9783540573166
Format: Paperback (452 pages) Publisher: Springer Published: 05 Oct 1993
Save for later