José N. Oliveira - Böcker

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

5 produkter

Kategorier

5 produkter

Formal Methods – The Next 30 Years

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

Av Maurice H. ter Beek, Annabelle McIver m. fl

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Formal Methods. FM 2019 International Workshops

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

Av Emil Sekerinski, Nelma Moreira m. fl

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Formal Methods. FM 2019 International Workshops

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

Av Emil Sekerinski, Nelma Moreira m. fl

Häftad, Engelska, 2020

729 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

Av Jose N. Oliveira, Pamela Zave

Häftad, Engelska, 2001

1 459 kr

Skickas inom 10-15 vardagar

Advanced Functional Programming

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

Av S. Doaitse Swierstra, Pedro R. Henriques m. fl

Häftad, Engelska, 1999

729 kr

Skickas inom 10-15 vardagar