Hoppa till sidans huvudinnehåll

José N. Oliveira - Böcker

Visar alla böcker från författaren José N. Oliveira.
5 produkter

Formal Methods – The Next 30 Years

Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

AvMaurice H. ter Beek,Annabelle McIver m. fl.

Häftad, Engelska, 2019

709 kr

Skickas inom 10-15 vardagar

Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

AvEmil Sekerinski,Nelma Moreira m. fl.

Häftad, Engelska, 2020

709 kr

Skickas inom 10-15 vardagar

Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

AvEmil Sekerinski,Nelma Moreira m. fl.

Häftad, Engelska, 2020

709 kr

Skickas inom 10-15 vardagar

FME 2001: Formal Methods for Increasing Software Productivity

International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings

AvJose N. Oliveira,Pamela Zave

Häftad, Engelska, 2001

1 409 kr

Skickas inom 10-15 vardagar

Advanced Functional Programming

Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures

AvS. Doaitse Swierstra,Pedro R. Henriques m. fl.

Häftad, Engelska, 1999

709 kr

Skickas inom 10-15 vardagar