ISBN-13: 9783540573166 / Angielski / Miękka / 1993 / 438 str.
ISBN-13: 9783540573166 / Angielski / Miękka / 1993 / 438 str.
This volume contains papers selected for presentation at the international conference, Formal Methods in Programming and Their Applications, held in Academgorodok, Novosibirsk, Russia, June-July 1993. The conference was organized by the Institute of Informatics Systems of the Siberian Division of the Russian Academy of Sciences.