José N. Oliveira - Böcker
Visar alla böcker från författaren José N. Oliveira.
5 produkter
5 produkter
Formal Methods – The Next 30 Years
Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Häftad, Engelska, 2019
729 kr
Skickas inom 10-15 vardagar
Del 12232 - Lecture Notes in Computer Science
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
Häftad, Engelska, 2020
729 kr
Skickas inom 10-15 vardagar
Del 12233 - Lecture Notes in Computer Science
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
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
Häftad, Engelska, 2001
1 439 kr
Skickas inom 10-15 vardagar
Advanced Functional Programming
Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures
Häftad, Engelska, 1999
729 kr
Skickas inom 10-15 vardagar