Cărți de Jose Nuno Oliveira

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5846

Editat de Jeremy Gibbons et al.

26 oct 2009

Preț: 315^.48 lei 394^.35 lei

6-8 săpt.

-20%

Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

Lecture Notes in Computer Science, nr. 1837

Editat de Roland Backhouse et al.

21 iun 2000

Preț: 318^.67 lei 398^.33 lei

6-8 săpt.

-20%