Formal Systems Specification: The Rpc-Memory Specification Case Study - Manfred Broy, Stephan Merz et Katharina Spies

Où acheter (1) Caractéristiques

Sponsorisé

Formal Systems Specification: The Rpc-Memory Specification Case Study - Manfred Broy, Stephan Merz, Katharina Spies

ammareal.fr
Produit utilisé

6.17 EUR

Prix mis à jour le: 19-06-2026 18:28:48

Voir l'offre

Général

Marque

Manfred Broy

ISBN

Manfred Broy 9783540619840

Caractéristiques

Produits similaires

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 Techniques for Networked and Distributed Systems

Formal Techniques for Networked and Distributed Systems- FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, Ju - Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto et Khaled El-Fakih

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 Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17,

Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17,

Formal Techniques for Distributed Systems: Joint 12th Ifip Wg 6.1 International Conference, Fmoods 2010 and 30th Ifip Wg 6.1 In

Formal Techniques for Distributed Systems: Joint 12th Ifip Wg 6.1 International Conference, Fmoods 2010 and 30th Ifip Wg 6.1 In - John Hatcliff et Elena Zucca