Bokus

José N. Oliveira

Visar alla böcker från författaren José N. Oliveira. Handla med fri frakt och snabb leverans.

  1. Formal Methods. FM 2019 International Workshops

    Formal Methods. FM 2019 International Workshops

    2020

  2. Formal Methods – The Next 30 Years

    Formal Methods – The Next 30 Years

    2019

  3. FME 2001: Formal Methods for Increasing Software Productivity

    FME 2001: Formal Methods for Increasing Software Productivity

    2001

  4. Advanced Functional Programming

    Advanced Functional Programming

    2006