1. Page d’accueil
  2. Médias
  3. Livres
  4. 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
  • #

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

Partager:

Produits connexes

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
Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems - Elvira Albert et Ivan Lanese

3.19 EUR
Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems - Susanne Graf et Mahesh Viswanathan

4.28 EUR
Formal Semantics and Proof Techniques for Optimizing VHDL Models

Formal Semantics and Proof Techniques for Optimizing VHDL Models - Kothanda Umamageswaran, Sheetanshu L. Pandey et Philip A. Wilsey

13.65 EUR
Problèmes de satisfaction de contraintes: Formalismes et techniques CSP

Problèmes de satisfaction de contraintes: Formalismes et techniques CSP

1.00 EUR
Judo Formal Techniques by Tadao Otaki

Judo Formal Techniques by Tadao Otaki

20.89 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
Formal Description Techniques and Protocol Specification: Forte Xi/Pstv XVIII '98 : Ifip Tc6 Wg6.1 Joint International Conferen

Formal Description Techniques and Protocol Specification: Forte Xi/Pstv XVIII '98 : Ifip Tc6 Wg6.1 Joint International Conferen - Stan Budkowski, Ana Cavalli et Elie Najm

1.00 EUR