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ț: 340^.98 lei 426^.22 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ț: 339^.99 lei 424^.99 lei

6-8 săpt.

-20%