Bokus

Igor V. Pottosin – författare

Visar alla böcker från författaren Igor V. Pottosin. Handla med fri frakt och snabb leverans.

2 produkter

  1. Dines Bjørner, Manfred Broy, Igor V. Pottosin - Formal Methods in Programming and Their Applications, Häftad. Tillgänglighet: Lägg i varukorg

    Formal Methods in Programming and Their Applications

    International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings

    Av Dines Bjørner, Manfred Broy m. fl.

    Häftad, 1993

    569 kr

    Lägg i varukorg

    This volume comprises the papers selected for presentationat the international conference on Formal Methods inProgramming and Their Applications, held in Academgorodok,Novosibirsk, Russia, June-July 1993. The conference wasorganized by the Institute of Informatics Systems of theSiberian Division of …

  2. Dines Bjørner, Manfred Broy, Igor V. Pottosin - Perspectives of System Informatics, Häftad. Tillgänglighet: Lägg i varukorg

    Perspectives of System Informatics

    Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings

    Av Dines Bjørner, Manfred Broy m. fl.

    Häftad, 1996

    569 kr

    Lägg i varukorg

    This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June 1996.The 27 revised full papers presented together with 9 invited contributions were thoroughly …