Formal Methods for Open Object-Based Distributed Systems: 8th Ifip Wg 6.1 International Conference, Fmoods 2006, Bologna, Italy - Roberto Gorrieri et Heike Wehrheim

Où acheter (1) Caractéristiques

Sponsorisé

Formal Methods for Open Object-Based Distributed Systems: 8th Ifip Wg 6.1 International Conference, Fmoods 2006, Bologna, Italy, - Roberto Gorrieri et Heike Wehrheim

ammareal.fr
Produit utilisé

3.19 EUR

Prix mis à jour le: 27-05-2026 14:26:08

Voir l'offre

Général

Marque

Roberto Gorrieri

ISBN

Roberto Gorrieri 354034893X

MPN

Roberto Gorrieri Illustrations

Caractéristiques

Produits similaires

Teaching and Learning Formal Methods

Teaching and Learning Formal Methods

Formal Methods in Standards: A Report from the Bcs Working Group

Formal Methods in Standards: A Report from the Bcs Working Group - Derek J. Andrews, Ann Wrightson, Nik Tetteh-Lartey, Clive L. N. Ruggles, Robert Neely, Clive Ruggles, David Blyth, Rick Thomas, David Duce, Patrick Hall et Cornelia Boldyreff

Formal Methods and Object Technology

Formal Methods and Object Technology - Stephen J. Goldsack et Stuart J.H. Kent

Integration of Processes using Formal Methods

Integration of Processes using Formal Methods

Revue des Nouvelles Technologies de l'Information Rnti-Sm-1-Isola 2007

Revue des Nouvelles Technologies de l'Information Rnti-Sm-1-Isola 2007

Vdm '90. Vdm and Z

Vdm '90. Vdm and Z - Formal Methods in Software Development: Third International Symposium of Vdm Europe, Kiel, Frg, April 17-2 - Dines Bjorner, C. A. R. Hoare et Hans Langmaack