Formal Systems Specification: The Rpc-Memory Specification Case Study - Manfred Broy | DealShopping France
  1. Page d’accueil
  2. Médias
  3. Livres
  4. Formal Systems Specification: The Rpc-Memory Specification Case Study - Manfred Broy, Stephan Merz et Katharina Spies
  • #
  • #

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

6.17 EUR

Partager:

Produits connexes

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,

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

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

6.17 EUR