Hoppa till sidans huvudinnehåll

José N. Oliveira – författare

Visar alla böcker från författaren José N. Oliveira.
5 produkter
Maurice H. ter Beek, Annabelle McIver, José N. Oliveira - Formal Methods – The Next 30 Years, Häftad

Formal Methods – The Next 30 Years

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

AvMaurice H. ter Beek,Annabelle McIverm. fl.

Häftad, Engelska, 2019

739 kr

Skickas inom 10-15 vardagar

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas - Formal Methods. FM 2019 International Workshops, Häftad
Del 12232 - Lecture Notes in Computer Science

Formal Methods. FM 2019 International Workshops

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

AvEmil Sekerinski,Nelma Moreiram. fl.

Häftad, Engelska, 2020

739 kr

Skickas inom 10-15 vardagar

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas - Formal Methods. FM 2019 International Workshops, Häftad
Del 12233 - Lecture Notes in Computer Science

Formal Methods. FM 2019 International Workshops

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

AvEmil Sekerinski,Nelma Moreiram. fl.

Häftad, Engelska, 2020

739 kr

Skickas inom 10-15 vardagar

Jose N. Oliveira, Pamela Zave - FME 2001: Formal Methods for Increasing Software Productivity, Häftad

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 459 kr

Skickas inom 10-15 vardagar

S. Doaitse Swierstra, Pedro R. Henriques, Jose N. Oliveira - Advanced Functional Programming, Häftad

Advanced Functional Programming

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

AvS. Doaitse Swierstra,Pedro R. Henriquesm. fl.

Häftad, Engelska, 1999

739 kr

Skickas inom 10-15 vardagar