Akademibokhandeln

Marco Bernardo – författare

Visar alla böcker från Marco Bernardo. Handla online eller reservera direkt i butik.

  1. Process Algebraic Approach to Software Architecture Design

    Process Algebraic Approach to Software Architecture Design

    2014

  2. Formal Methods for Executable Software Models

    Formal Methods for Executable Software Models

    2014

  3. Formal Methods for Multicore Programming

    Formal Methods for Multicore Programming

    2015

  4. Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

    Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

    2016

  5. Formal Methods for Software Architectures

    Formal Methods for Software Architectures

    2003

  6. Formal Methods for the Design of Real-Time Systems

    Formal Methods for the Design of Real-Time Systems

    2004

  7. Formal Methods for Mobile Computing

    Formal Methods for Mobile Computing

    2005

  8. Formal Methods for Hardware Verification

    Formal Methods for Hardware Verification

    2006

  9. Formal Methods for Computational Systems Biology

    Formal Methods for Computational Systems Biology

    2008

  10. Formal Methods for Performance Evaluation

    Formal Methods for Performance Evaluation

    2007

  11. Formal Methods for Web Services

    Formal Methods for Web Services

    2009

  12. Formal Methods for Quantitative Aspects of Programming Languages

    Formal Methods for Quantitative Aspects of Programming Languages

    2010

  13. Computer Performance Engineering

    Computer Performance Engineering

    2010

  14. Formal Methods for Eternal Networked Software Systems

    Formal Methods for Eternal Networked Software Systems

    2011

  15. Formal Methods for Model-Driven Engineering

    Formal Methods for Model-Driven Engineering

    2012

  16. Formal Methods for Dynamical Systems

    Formal Methods for Dynamical Systems

    2013