1. Page d’accueil
  2. Médias
  3. Livres
  4. Formal Methods for Open Object-Based Distributed Systems - Elie Najm et Jean-Bernard Stefani
  • #
  • #

Formal Methods for Open Object-Based Distributed Systems - Elie Najm et Jean-Bernard Stefani

1.00 EUR

Partager:
Sponsorisé

Formal Methods for Open Object-Based Distributed Systems - Elie Najm et Jean-Bernard Stefani

ammareal.fr
Produit utilisé
1.00 EUR
21-04-2026 01:33:36

Produits connexes

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

6.17 EUR
Formal Methods for Open Object-based Distributed Systems: 9th Ifip Wg 6.1 International Conference, Fmoods 2007, Paphos, Cyprus

Formal Methods for Open Object-based Distributed Systems: 9th Ifip Wg 6.1 International Conference, Fmoods 2007, Paphos, Cyprus - Marcello M. Bonsangue et Einar Broch Johnsen

6.17 EUR
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

6.17 EUR
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

6.17 EUR
Formal Methods for Open Object-Based Distributed Systems: 8th Ifip Wg 6.1 International Conference, Fmoods 2006, Bologna, Italy

Formal Methods for Open Object-Based Distributed Systems: 8th Ifip Wg 6.1 International Conference, Fmoods 2006, Bologna, Italy - Roberto Gorrieri et Heike Wehrheim

4.28 EUR
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

1.00 EUR
Formal Methods for Distributed Processing

Formal Methods for Distributed Processing

203.06 EUR
Formal Methods for the Design of Real

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

6.17 EUR