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

• Magasins
• Caractéristiques
• Springer
• Produits similaires

Sponsorisé  Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations

ammareal.fr

+ Informations sur ammareal.fr

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

6.17 EUR

Prix mis à jour le: 07-06-2026 14:22:31 Produit utilisé

Voir l'offre

Identifiants
Dimensions / poids
Fonctionnalités clés

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

Voir produit

Vdm '90. Vdm and Z - Formal Methods in Software Development: Third International Symposium of Vdm Europe, Kiel, Frg, April 17-2 - Dines Bjorner, C. A. R. Hoare et Hans Langmaack

Voir produit

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

Voir produit

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

Voir produit

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

Voir produit

Formal Methods and Object Technology - Stephen J. Goldsack et Stuart J.H. Kent

Voir produit