Igor V. Pottosin – författare

Visar alla böcker från författaren .

2 produkter

Kategorier

2 produkter

Dines Bjørner, Manfred Broy, Igor V. Pottosin - Formal Methods in Programming and Their Applications, Häftad

Formal Methods in Programming and Their Applications

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

AvDines Bjørner,Manfred Broym. fl.

Häftad, Engelska, 1993

729 kr

Skickas inom 10-15 vardagar

Dines Bjørner, Manfred Broy, Igor V. Pottosin - Perspectives of System Informatics, Häftad

Perspectives of System Informatics

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

AvDines Bjørner,Manfred Broym. fl.

Häftad, Engelska, 1996

729 kr

Skickas inom 10-15 vardagar