Books by Marco Bernardo

Filters

Close all

Sort by:

Price

Binding Type

Author

Publisher

Product Type

Console

Platform

Conditions

Formal Methods for Eternal Networked Software Systems

Author: Marco Bernardo

View Product

Formal Methods for Executable Software Models

Author: Marco Bernardo

View Product

Formal Methods for Model-Driven Engineering

Author: Marco Bernardo

View Product

Formal Methods for Computational Systems Biology

Author: Marco Bernardo

View Product

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Author: Marco Bernardo

View Product

Formal Methods for Multicore Programming

Author: Marco Bernardo

View Product

Formal Methods for Hardware Verification

Author: Marco Bernardo

View Product

Formal Methods for Web Services

Author: Marco Bernardo

View Product

Formal Methods for Dynamical Systems

Author: Marco Bernardo

View Product

Formal Methods for the Design of Real-Time Systems

Author: Marco Bernardo

View Product

Formal Methods for Performance Evaluation

Author: Marco Bernardo

View Product

Formal Methods for Software Architectures

Author: Marco Bernardo

View Product

Formal Methods for Mobile Computing

Author: Marco Bernardo

View Product

Books by Marco Bernardo

Filters

Categories

Price

Binding Type

Author

Publisher

Product Type

Console

Platform

Conditions