Akademibokhandeln

Diego Marmsoler – författare

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

3 produkter

  1. 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 - Formal Methods. FM 2019 International Workshops, Häftad. Tillgänglighet: Lägg i varukorg

    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

    729 kr

    Lägg i varukorg

  2. 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 - Formal Methods. FM 2019 International Workshops, Häftad. Tillgänglighet: Lägg i varukorg

    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

    729 kr

    Lägg i varukorg

  3. Diego Marmsoler, Meng Sun - Formal Aspects of Component Software, Häftad. Tillgänglighet: Lägg i varukorg

    Formal Aspects of Component Software

    20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings

    Av Diego Marmsoler, Meng Sun

    Häftad, 2024

    799 kr

    Lägg i varukorg