Jose Nuno Oliveira - Böcker

Visar alla böcker från författaren Jose Nuno Oliveira.

2 produkter

Kategorier

2 produkter

Mathematics of Program Construction

5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

Av Roland Backhouse, Jose Nuno Oliveira

Häftad, Engelska, 2000

719 kr

Skickas inom 10-15 vardagar

Teaching Formal Methods

Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

Av Jeremy Gibbons, Jose Nuno Oliveira

Häftad, Engelska, 2009

719 kr

Skickas inom 10-15 vardagar