Cărți de Igor V. Pottosin

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings

Lecture Notes in Computer Science, nr. 1181

Editat de Dines Bjørner et al.

4 dec 1996

Preț: 331^.24 lei 414^.06 lei

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 735

Editat de Dines Bjørner et al.

5 oct 1993

Preț: 330^.31 lei 412^.88 lei

43-57 zile

-20%