Formal Methods in Programming and Their Applications > Editions

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

Published October 5th 1993 by Springer

1993, Paperback, 447 pages

more details

Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Paperback)

Published October 8th 2014 by Springer

Paperback, 452 pages

more details

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

Published January 1st 1993 by Springer-Verlag

Paperback, 433 pages

more details