Comments: Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures / Frank S. de Boer [and others] (eds.).

Summary goes here

Saved in:

Bibliographic Details
Format:	Book
Language:	English
Subjects:	Formal methods (Computer science) Component software Object-oriented programming (Computer science) Object-oriented methods (Computer science) Méthodes formelles (Informatique) Conception orientée objet (Informatique) Composants logiciels Programmation orientée objet (Informatique) COMPUTERS Informatique. Formale Methode Formale Spezifikationstechnik KomponenteSoftware Objektorientierung Softwareentwicklung Méthode formelle. Approche orientée objet. Composant logiciel. Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Kongress. Leiden (2004)
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!