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

Où acheter (1) Caractéristiques

Sponsorisé

Formal methods for open object-based distributed systems

FNAC BE

75.01 EUR

Prix mis à jour le: 18-05-2026 03:07:29

Voir l'offre

Général

Marque

Springer

Caractéristiques

Produits similaires

James Woodcock Fme '96: Industrial Benefit And Advances In Formal Methods: Third International Symposium Of Formal Methods Europe Co-Sponsored By Ifip Wg 14.3, ... Notes In Computer Science (1051), Band 1051)

James Woodcock Fme '96: Industrial Benefit And Advances In Formal Methods: Third International Symposium Of Formal Methods Europe Co-Sponsored By Ifip Wg 14.3, ... Notes In Computer Science (1051), Band 1051)