Formal Methods for the Design of Real - Time Systems: International School On Formal Methods For The Design Of Computer, Commun - Marco Bernardo et Flavio Corradini

Où acheter (1) Caractéristiques

Sponsorisé

Formal Methods for the Design of Real - Time Systems: International School On Formal Methods For The Design Of Computer, Commun - Marco Bernardo et Flavio Corradini

ammareal.fr
Produit utilisé

6.17 EUR

Prix mis à jour le: 07-02-2026 13:44:20

Voir l'offre

Général

Marque

Marco Bernardo

ISBN

Marco Bernardo 3540230688

MPN

Marco Bernardo Illustrations

Caractéristiques

Produits similaires

Formal Methods for Distributed Processing

Formal Methods for Distributed Processing

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway,

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, - Gilles Barthe

Formal Methods for Open Object-Based Distributed Systems: 6th Ifip Wg 6.1 International Conference, Fmoods 2003, Paris, France,

Formal Methods for Open Object-Based Distributed Systems: 6th Ifip Wg 6.1 International Conference, Fmoods 2003, Paris, France, - Elie Najm, Uwe Nestmann et Perdita Stevens

Formal Methods for Open Object-Based Distributed Systems: 6th Ifip Wg 6.1 International Conference, Fmoods 2003, Paris, France,

Formal Methods for Open Object-Based Distributed Systems: 6th Ifip Wg 6.1 International Conference, Fmoods 2003, Paris, France, - Elie Najm, Uwe Nestmann et Perdita Stevens

Formal Methods for Protocol Engineering and Distributed Systems: Forte Xii/Pstv Xix'99 : Ifip Tc6 Wg6.1 Joint International Con

Formal Methods for Protocol Engineering and Distributed Systems: Forte Xii/Pstv Xix'99 : Ifip Tc6 Wg6.1 Joint International Con - Jianping Wu, Samuel T. Chanson et Quiang Gao

Formal Methods for Open Object-based Distributed Systems V: Ifip Tc6/Wg6.1 Fifth International Conference on Formal Methods for

Formal Methods for Open Object-based Distributed Systems V: Ifip Tc6/Wg6.1 Fifth International Conference on Formal Methods for - Bart Jacobs et Arend Rensink