1. Page d’accueil
  2. Médias
  3. Livres
  4. Formal Methods and Object Technology - Stephen J. Goldsack et Stuart J.H. Kent
  • #
  • #

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

3.19 EUR

Partager:
Sponsorisé

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

ammareal.fr
Produit utilisé
3.19 EUR
25-12-2025 07:41:47

Produits connexes

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
Vdm '90. Vdm and Z

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

1.00 EUR
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
Revue des Nouvelles Technologies de l'Information Rnti-Sm-1-Isola 2007

Revue des Nouvelles Technologies de l'Information Rnti-Sm-1-Isola 2007

6.17 EUR
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science) - [Version Originale]

95.85 EUR