Advanced Functional Programming
S. Doaitse Swierstra, Pedro R. Henriques, Jose N. Oliveira
Häftad, 1999
573 kr
Advanced Functional Programming
Third International School, AFP''98, Braga, Portugal, September 12-19, 1998, Revised Lectures
AvJose N. Oliveira,Pedro R. Henriques
E-bok
PDF, Engelska, 2006739 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 9325
Formal Methods - The Next 30 Years
Jose N. Oliveira, Annabelle McIver, Maurice H. ter Beek
E-bok
2019732 kr
Formal Methods. FM 2019 International Workshops
David Delmas, Pedro Monteiro, Martin Kutrib, Brijesh Dongol, Luis Couto, Antonio Cerone, Laure Gonnord, Troy Astarte, Jose Campos, Diego Marmsoler, Matt Luckcuck, Marie Farrell, Riccardo Guidotti, Daniel Ratiu, Jose N. Oliveira, Nelma Moreira, Emil Sekerinski
E-bok
2020732 kr
FME 2001: Formal Methods for Increasing Software Productivity
Jose N. Oliveira, Pamela Zave
Häftad, 2001
1 138 kr
Del 12232
Formal Methods. FM 2019 International Workshops
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
Häftad, 2020
573 kr
Del 12233
Formal Methods. FM 2019 International Workshops
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
Häftad, 2020
573 kr