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

Où acheter (1) Caractéristiques

Sponsorisé

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

ammareal.fr
Produit utilisé

4.28 EUR

Prix mis à jour le: 05-05-2026 04:34:43

Voir l'offre

Général

Marque

Springer

Caractéristiques

Produits similaires

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

Judo Formal Techniques by Tadao Otaki

Judo Formal Techniques by Tadao Otaki

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

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

Formal Techniques for Distributed Objects, Components, and Systems

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

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

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