José N. Oliveira – författare

Visar alla böcker från författaren .

5 produkter

Kategorier

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 McIverm. fl.
Häftad, Engelska, 2019
729 kr
Skickas inom 10-15 vardagar
Del 12232
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
729 kr
Skickas inom 10-15 vardagar
Del 12233
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
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
AvJose N. Oliveira,Pamela Zave
Häftad, Engelska, 2001
1 449 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. Henriquesm. fl.
Häftad, Engelska, 1999
729 kr
Skickas inom 10-15 vardagar