José N. Oliveira – författare
Visar alla böcker från författaren José N. Oliveira. Handla med fri frakt och snabb leverans.
10 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, 2019
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.The 44 full papers presented together with 3 invited presentations were carefully reviewed and …
Formal Methods - The Next 30 Years
Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Av Jose N. Oliveira, Annabelle McIver m. fl.
E-bok, 2019
732 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and …
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, 2020
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal …
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
Av David Delmas, Pedro Monteiro m. fl.
E-bok, 2020
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal …
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, 2020
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal …
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
Av David Delmas, Pedro Monteiro m. fl.
E-bok, 2020
732 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal …
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, 2001
1128 kr
Lägg i varukorg
FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. It follows four VDM Europe Symposia, four other Formal Methods …
FME 2001: Formal Methods for Increasing Software Productivity
International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings
Av Pamela Zave, Jose N. Oliveira
E-bok, 2003
1502 kr
Lägg i varukorg
FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. It follows four VDM Europe Symposia, four other Formal Methods …
Advanced Functional Programming
Third International School, AFP''98, Braga, Portugal, September 12-19, 1998, Revised Lectures
Av Jose N. Oliveira, Pedro R. Henriques m. fl.
E-bok, 2006
755 kr
Lägg i varukorg
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, 1999
569 kr
Lägg i varukorg
Inthisvolumeyouwill?ndthelecturenotescorrespondingtothepres- rd tationsgivenatthe3 summerschoolonAdvancedFunctionalProgramming, heldinBraga,PortugalfromSeptember12-19,1998. ThisschoolwasprecededbyearlieronesinB?astad(1995,Sweden,LNCS925) andOlympia,WA(1996,USA,LNCS1129). …
