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ț: 338^.47 lei 423^.09 lei

6-8 săpt.

-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ț: 337^.49 lei 421^.86 lei

6-8 săpt.

-20%