José N. Oliveira - Böcker
Formal Methods – The Next 30 Years
Av Maurice H. ter Beek, Annabelle McIver, José N. Oliveira, Jose N. Oliveira, Maurice H. Ter Beek
Häftad, Engelska, 2019
729 kr
Formal Methods. FM 2019 International Workshops
Av 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, Jose N. Oliveira, Jose Campos
Häftad, Engelska, 2020
729 kr
Formal Methods. FM 2019 International Workshops
Av 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, Jose N. Oliveira, Jose Campos
Häftad, Engelska, 2020
729 kr
FME 2001: Formal Methods for Increasing Software Productivity
Häftad, Engelska, 2001
1 449 kr
Advanced Functional Programming
Av S. Doaitse Swierstra, Pedro R. Henriques, Jose N. Oliveira
Häftad, Engelska, 1999
729 kr